hm:
stop_apic_nmi_watchdog() doesnt currently properly disable the
generation of NMIs when they come from an IO-APIC, so this will need
more fixes i believe. One approach would be to save the IO-APIC id and
pin when the watchdog is set up, and use it later on to poke that
IO-APIC register to disable NMI generation there.
Ingo
--