patch_intelhdmi.c 11.4 KB