choice prompt "Mainboard model" depends on VENDOR_TECHNEXION source "src/mainboard/technexion/tim8690/Kconfig" endchoice