IPMI: new NMI handling