| CONFIG_ARM=y | 
 | CONFIG_ARCH_MX28=y | 
 | CONFIG_SYS_TEXT_BASE=0x40002000 | 
 | CONFIG_SPL_GPIO_SUPPORT=y | 
 | CONFIG_SPL_LIBCOMMON_SUPPORT=y | 
 | CONFIG_SPL_LIBGENERIC_SUPPORT=y | 
 | CONFIG_TARGET_MX28EVK=y | 
 | CONFIG_SPL_SERIAL_SUPPORT=y | 
 | CONFIG_SPL=y | 
 | CONFIG_NR_DRAM_BANKS=1 | 
 | # CONFIG_CONSOLE_MUX is not set | 
 | CONFIG_SYS_CONSOLE_IS_IN_ENV=y | 
 | CONFIG_VERSION_VARIABLE=y | 
 | # CONFIG_DISPLAY_BOARDINFO is not set | 
 | CONFIG_ARCH_MISC_INIT=y | 
 | # CONFIG_SPL_FRAMEWORK is not set | 
 | CONFIG_HUSH_PARSER=y | 
 | CONFIG_CMD_BOOTZ=y | 
 | # CONFIG_CMD_FLASH is not set | 
 | CONFIG_CMD_GPIO=y | 
 | CONFIG_CMD_MMC=y | 
 | CONFIG_CMD_NAND_TRIMFFS=y | 
 | CONFIG_CMD_SF=y | 
 | CONFIG_CMD_SPI=y | 
 | CONFIG_CMD_USB=y | 
 | CONFIG_CMD_DHCP=y | 
 | CONFIG_CMD_MII=y | 
 | CONFIG_CMD_PING=y | 
 | CONFIG_CMD_BMP=y | 
 | CONFIG_CMD_CACHE=y | 
 | CONFIG_CMD_DATE=y | 
 | CONFIG_CMD_EXT4=y | 
 | CONFIG_CMD_EXT4_WRITE=y | 
 | CONFIG_CMD_FAT=y | 
 | CONFIG_CMD_FS_GENERIC=y | 
 | CONFIG_CMD_MTDPARTS=y | 
 | CONFIG_MTDIDS_DEFAULT="nand0=gpmi-nand" | 
 | CONFIG_MTDPARTS_DEFAULT="mtdparts=gpmi-nand:3m(bootloader)ro,512k(environment),512k(redundant-environment),4m(kernel),512k(fdt),8m(ramdisk),-(filesystem)" | 
 | CONFIG_CMD_UBI=y | 
 | CONFIG_ENV_IS_IN_NAND=y | 
 | CONFIG_MMC_MXS=y | 
 | CONFIG_NAND=y | 
 | CONFIG_NAND_MXS=y | 
 | CONFIG_SPI_FLASH=y | 
 | CONFIG_SPI_FLASH_SST=y | 
 | CONFIG_MII=y | 
 | CONFIG_CONS_INDEX=0 | 
 | CONFIG_SPI=y | 
 | CONFIG_MXS_SPI=y | 
 | CONFIG_USB=y | 
 | CONFIG_USB_EHCI_HCD=y | 
 | CONFIG_USB_STORAGE=y | 
 | CONFIG_USB_HOST_ETHER=y | 
 | CONFIG_USB_ETHER_ASIX=y | 
 | CONFIG_USB_ETHER_SMSC95XX=y | 
 | CONFIG_VIDEO=y | 
 | CONFIG_OF_LIBFDT=y |