ARM: EXYNOS4: Add EXYNOS4 CPU initialization support