NetBSD PCI device drivers in Linux userspace