missing kernel added