Re: [coreboot] Kconfig defaults per chipset, or mainboard?