ARM: exynos: Revise HDMI resource size