ARM: EXYNOS4: Use samsung_rev() to distinguish silicon revision