[PATCH v1 11/14] drm: exynos: hdmi: add support for exynos5 mixer