CONFIG_AT91SAM9G20_FOX=y
CONFIG_SDCARD=y
CONFIG_MCI_SLOTB=y
CONFIG_RAM_64MB=y
CONFIG_LOAD_LINUX=y
# CONFIG_OF_LIBFDT is not set
CONFIG_DEBUG=y
CONFIG_THUMB=y
