patch_hdmi.c revision 300016b9
1