config file for kexec