Fix kernel naming