[coreboot] Patch set updated for coreboot: 81dd2fa LUMPY: Add information to generate MPTABLE from devicetree.cb