[coreboot] Patch merged into coreboot/master: 0aa8793 mptable: bring sanity back to mptable generation (TRIVIAL)