Intel P4/Xeon Extended MCE MSRs (12) available 1: Thermal monitoring enabled CPU1: Intel(R) Pentium(R) 4 CPU 2.80GHz stepping 04 Total of 2 processors activated (11211.12 BogoMIPS). ENABLING IO-APIC IRQs ..TIMER: vector=0x31 pin1=2 pin2-1 checking TSC synchronization across 2 CPUs: ...