removed misnamed kernel