kexec: create a new config option CONFIG_KEXEC_FILE for new syscall