patch_intelhdmi.c 5.75 KB