[coreboot] Patch set updated for coreboot: 3322f8f mptable: Refactor mptable generation some more