Re: [PATCH] drm/exynos: hdmi: using drm_display_mode timings for exynos4