patch_intelhdmi.c 20.7 KB