[PATCH v4 4/4] drm/exynos: hdmi: support extra resolutions using drm_display_mode timings