[coreboot] Patch merged into coreboot/master: d9da3f0 Mahogany Fam10 MPtable fix