# CONFIG_ARCH_SUPPORTS_KEXEC_FILE is not set
