[coreboot-gerrit] Patch set updated for coreboot: d267971 x86: add SMM save state for 0x0100 revision