patch_intelhdmi.c 22.5 KB