[PATCH v4 04/11] drm: sti: add HDMI driver