# CONFIG_HARDLOCKUP_DETECTOR_PREFER_BUDDY is not set
