[coreboot] kconfig question