recovering from missing kernel