patch_hdmi.c revision bbbc7e85
1