[coreboot] [v2] r4454 - in trunk/coreboot-v2/src/cpu: intel intel/model_6ex intel/model_6fx intel/speedstep x86/smm