CONFIG_AT91SAM9X5EK=y
CONFIG_RAM_128MB=y
CONFIG_NANDFLASH=y
# CONFIG_PMECC_AUTO_DETECT is not set
CONFIG_IMG_SIZE="0x000b0000"
CONFIG_DEBUG=y
CONFIG_THUMB=y
