[coreboot] Patch merged into coreboot/master: 25ccaa5 IEI-Kino Fam10 MPtable fix.