Re: [Linaro-mm-sig] [PATCH v3 03/16] drm: sti: add HDMI driver