rump pci drivers backend

[Luca Dariz]

Hello

I have make a small improvement to the pci-userspace backend for rump
drivers, here

https://github.com/rumpkernel/pci-userspace/pull/4

I am now able to run virtio ld drivers, any comment or suggestion is
very welcome!

Cheers
Luca