[coreboot] New patch to review for coreboot: 95240d0 LUMPY: Add information to generate MPTABLE from devicetree.cb