Re: [Linaro-mm-sig] [PATCH v1 04/19] drm: sti: add HDMI driver