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