[coreboot] Kconfig defaults per chipset, or mainboard?