[coreboot] Patch merged into coreboot/master: f8d58cf SMM: Fix state table for Intel Core2 CPUs