[coreboot] Patch merged into coreboot/master: 81dd2fa LUMPY: Add information to generate MPTABLE from devicetree.cb