# CONFIG_KEXEC_FILE is not set