# CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC is not set