Re: [coreboot] [PATCH] mainboard/artecgroup: Clarify Kconfig help for Artec Group DBE61 and DBE62