1CONFIG_SPL=y 2CONFIG_ARM=y 3CONFIG_ARCH_EXYNOS=y 4CONFIG_TARGET_ORIGEN=y 5CONFIG_OF_CONTROL=y 6CONFIG_DEFAULT_DEVICE_TREE="exynos4210-origen" 7