patch_intelhdmi.c 20.2 KB