# CONFIG_HARDLOCKUP_DETECTOR_BUDDY is not set
