1choice 2 prompt "Mainboard model" 3 depends on VENDOR_ARTEC_GROUP 4 5source "src/mainboard/artecgroup/dbe61/Kconfig" 6 7endchoice 8 9