[coreboot] [commit] r5145 - trunk/src/cpu/x86/smm