CONFIG_SYS_EXTRA_OPTIONS="AT91SAM9X5,SYS_USE_MMC" CONFIG_ARM=y CONFIG_TARGET_AT91SAM9X5EK=y