if ARCH_HIGHBANK config ARCH_TEXT_BASE hex default 0x03f00000 choice prompt "Calxeda Board type" config MACH_HIGHBANK bool "Calxeda Highbank" select HAVE_DEFAULT_ENVIRONMENT_NEW endchoice endif