[RFC 0/1] drm/exynos: hack to support more HDMI resolutions