# CONFIG_KEXEC_JUMP is not set