[PATCH v3 2/3] ARM: Change exynos5-hdmi references to exynos4-hdmi