patch_intelhdmi.c 19.6 KB