Fix kernel remove