# CONFIG_ARCH_SELECTS_KEXEC_FILE is not set
