patch_intelhdmi.c 20.3 KB