Re: [PATCH 00/12] dw-hdmi development