[PATCH] ARM: EXYNOS4: Add HDMI support for Origen