net/vmxnet3: move PCI device ids to the driver