Rename kernel file.