Unfortunately the timer fails raise an NMI when ben "locks up" during
boot.  Maybe this happens because I'm "locking up" the x2apic somehow
and the watchdog NMI is routed through the x2apic..