[coreboot] Patch merged into coreboot/master: c56b7fb Sconfig: parse Kconfig options from devicetree.cb