[PATCH v3 03/16] drm: sti: add HDMI driver