[coreboot] Kconfig patches