HDMI: better debug.