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