[PATCH 13/14] drm: exynos: hdmi: add support for exynos5 hdmi