Rename the kernel names