[ARM] Exynos4: Add code to help determine the SOC type.

Signed-off-by: Anup Patel <anup@brainfault.org>