[coreboot] Patch merged into master: 6974e42 Small SMM fixups