ARM: EXYNOS: Fix compilation error with mach-exynos4-dt board