kernel/include/config/TRACE_IRQFLAGS_NMI