# CONFIG_DETECT_SOFTLOCKUP is not set
