patch_hdmi.c revision 022f344b
1