patch_hdmi.c revision 56275036
1