bootserver: use virtio-pci driver instead of the slow default one (8139cp)