[coreboot] Patch merged into master: 284d358 SMM: add guard and include types.h in cpu/x86/smm.h