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