# CONFIG_HAVE_HARDLOCKUP_DETECTOR_PERF is not set
