2.11BSD kernel probs