# CONFIG_BOOTPARAM_HARDLOCKUP_PANIC is not set