[coreboot-gerrit] Patch set updated for coreboot: 8eee74f MP Table: Change types to be consistent with the spec