patch_intelhdmi.c 20.5 KB