NetBSD TK70 question (solved)