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