NetBSD TK70 question