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