patch_hdmi.c revision ea87d1c4
1