[   87.714746] Disabling lock debugging due to kernel taint
[   87.714759] 
[   87.714759] HARDWARE ERROR
[   87.714762] CPU 3: Machine Check Exception:                5 Bank 4: b200000011000402
[   87.714765] RIP !INEXACT! 10:<ffffffff81017318> {mwait_idle+0x72/0x7d}
[   87.714772] TSC 639521f78a 
[   87.714774] PROCESSOR 0:206a7 TIME 1302805906 SOCKET 0 APIC 6
[   87.714776] No human readable MCE decoding support on this CPU type.
[   87.714777] Run the message through 'mcelog --ascii' to decode.
[   87.714780] CPU 1: Machine Check Exception:                5 Bank 4: b200000011000402
[   87.714782] RIP !INEXACT! 10:<ffffffff81017318> {mwait_idle+0x72/0x7d}
[   87.714785] TSC 639521f79a 
[   87.714788] PROCESSOR 0:206a7 TIME 1302805906 SOCKET 0 APIC 2
[   87.714789] No human readable MCE decoding support on this CPU type.
[   87.714790] Run the message through 'mcelog --ascii' to decode.
[   87.714792] CPU 2: Machine Check Exception:                5 Bank 4: b200000011000402
[   87.714794] RIP !INEXACT! 33:<00007fdfc2d36ab8> 
[   87.714797] TSC 6399de14e2 
[   87.714799] PROCESSOR 0:206a7 TIME 1302805906 SOCKET 0 APIC 4
[   87.714800] No human readable MCE decoding support on this CPU type.
[   87.714802] Run the message through 'mcelog --ascii' to decode.
[   87.714804] CPU 0: Machine Check Exception:                5 Bank 4: b200000011000402
[   87.714805] RIP !INEXACT! 10:<ffffffff81017318> {mwait_idle+0x72/0x7d}
[   87.714809] TSC 639521f79a 
[   87.714811] PROCESSOR 0:206a7 TIME 1302805906 SOCKET 0 APIC 0
[   87.714813] No human readable MCE decoding support on this CPU type.
[   87.714814] Run the message through 'mcelog --ascii' to decode.
[   87.714816] This is not a software problem!
[   87.714817] Machine check: Processor context corrupt
[   87.714819] Kernel panic - not syncing: Fatal Machine check
[   87.714821] Pid: 0, comm: swapper Tainted: G   M       2.6.32-5-amd64 #1
[   87.714823] Call Trace:
[   87.714825]  <#MC>  [<ffffffff812fa338>] ? panic+0x86/0x143
[   87.714832]  [<ffffffff8101e5d7>] ? mce_panic+0x168/0x191
[   87.714835]  [<ffffffff8101ed9c>] ? do_machine_check+0x577/0x750
[   87.714899]  [<ffffffff81017318>] ? mwait_idle+0x72/0x7d
[   87.714903]  [<ffffffff812fc57c>] ? machine_check+0x1c/0x30
[   87.714906]  [<ffffffff81017318>] ? mwait_idle+0x72/0x7d
[   87.714907]  <<EOE>>  [<ffffffff8100feb1>] ? cpu_idle+0xa2/0xda
[   87.714913]  [<ffffffff814f3140>] ? early_idt_handler+0x0/0x71
[   87.714916]  [<ffffffff814f3cdd>] ? start_kernel+0x3dc/0x3e8
[   87.714919]  [<ffffffff814f33b7>] ? x86_64_start_kernel+0xf9/0x106
[   87.714923] Rebooting in 30 seconds..