patch_intelhdmi.c 25.5 KB