Bring in vmx(4) (VMware virtual network driver, aka vmxnet3).