Re: [PATCH v1 04/19] drm: sti: add HDMI driver