[coreboot] r842 - in coreboot-v3: device util/kconfig