[OS-BUILD PATCH 2/3] RHMAINTAINERS: Update vmxnet3 driver entry