[coreboot] Another Kconfig patch