choice prompt "Mainboard model" depends on VENDOR_RCA source "src/mainboard/rca/rm4100/Kconfig" endchoice