CONFIG_SYS_EXTRA_OPTIONS="AT91SAM9XE" CONFIG_ARM=y CONFIG_TARGET_ETHERNUT5=y