[coreboot-gerrit] Patch merged into coreboot/master: dad6d79 x86: provide infrastructure to backup default SMM region