Rename kernel-config file