patch_intelhdmi.c 20.4 KB