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