CONFIG_HAVE_EXTRA_IPI_TRACEPOINTS=y
