Re: HDMI driver format channel mismatch bug