[coreboot-gerrit] Patch set updated for coreboot: cd1457c x86/smm: Move SMM configuration out of generic Makefile