Comment 4 for bug 1271669

Modified the title so this could include multiple modules. vmxnet3 is already in the main package, but vsock.ko and vmw_vsock_vmci_transport.ko are not but likely should. There is a vmwgfx driver, too but the target is probably more server type which does not need accelerated gfx. Also right now there is no other drm driver in the main package.