choice prompt "Mainboard model" depends on VENDOR_SUNW source "src/mainboard/sunw/ultra40/Kconfig" endchoice