Symbol: EXYNOS4_CORE_SIZE