[coreboot-gerrit] Patch merged into coreboot/master: bd4553b MP Table: Change types to be consistent with the spec