[coreboot] Patch set updated for coreboot: c56b7fb Sconfig: parse Kconfig options from devicetree.cb