CONFIG_TRACE_IRQFLAGS_NMI_SUPPORT=y
