1CONFIG_SPL=y 2CONFIG_ARM=y 3CONFIG_ARCH_EXYNOS=y 4CONFIG_TARGET_ARNDALE=y 5CONFIG_DEFAULT_DEVICE_TREE="exynos5250-arndale" 6