Little kernel binary renaming