patch_intelhdmi.c 19.4 KB