Fixed type in spec of vmxnet3 extras.