patch_hdmi.c revision e81d71e3
1