Finding NetBSD Kernel Bugs through LockDoc - eviltoast