i386: add TRACE_IRQS_OFF for the nmi