patch_hdmi.c revision 83012a7c
1