if ARCH_VEXPRESS
config ARCH_TEXT_BASE
hex
default 0x83f00000
choice
prompt "ARM Board type"
config MACH_VEXPRESS
bool "ARM Vexpress"
endchoice
endif