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