renaming kernel