[jhc] Rewrite NetBSD kernel driver using Ajhc Haskell compiler