Update patch_hdmi.c