[PATCH 1/3] drm: exynos: hdmi: add exynos5 support to mixer driver