Remove duplicate kernel under wrong name