[coreboot] Patch merged into coreboot/master: 3322f8f mptable: Refactor mptable generation some more