[coreboot-gerrit] Patch set updated for coreboot: 39e4b6a x86: Add SMM helper functions to MP infrastructure