fix bug in the initialization of the Virtio network driver