[coreboot-gerrit] New patch to review for coreboot: aa781fe MP Table: Change types to be consistent with the spec