[coreboot-gerrit] Patch merged into coreboot/master: e4e0f94 x86 SMM: We have single SMM linker script now