if ARCH_AT91RM9200
config ARCH_TEXT_BASE
hex
config BOARDINFO
comment "Atmel AT91RM9200 System-on-Chip"
choice
prompt "AT91RM9200 Board Type"
endchoice
endif