[coreboot] more Kconfig fixes