patch_intelhdmi.c 5.9 KB