[coreboot] Patch merged into coreboot/master: 7fb8699 MPTAPLE: generate from devicetree.cb