--- vmware-config.pl.orig	2010-05-09 21:03:50.000000000 -0700
+++ vmware-config.pl	2010-05-09 21:07:41.000000000 -0700
@@ -4121,6 +4121,11 @@ sub build_module {
     return 'no';
   }
 
+  if ($name eq 'vsock') {
+	print wrap("VMWare config patch VSOCK!\n");
+	system(shell_string($gHelper{'mv'}) . ' -vi ' . shell_string($build_dir . '/../Module.symvers') . ' ' . shell_string($build_dir . '/vsock-only/' ));
+  }
+
   print wrap('Building the ' . $name . ' module.' . "\n\n", 0);
   if (system(shell_string($gHelper{'make'}) . ' -C '
              . shell_string($build_dir . '/' . $name . '-only')
@@ -4143,6 +4148,12 @@ sub build_module {
     if (try_module($name, $build_dir . '/' . $name . '.o', 0, 1)) {
       print wrap('The ' . $name . ' module loads perfectly into the running kernel.'
                  . "\n\n", 0);
+
+      if ($name eq 'vmci') {
+	print wrap("VMWare config patch VMCI!\n");
+	system(shell_string($gHelper{'cp'}) . ' -vi ' . shell_string($build_dir.'/vmci-only/Module.symvers') . ' ' . shell_string($build_dir . '/../'));
+      } 
+
       remove_tmp_dir($build_dir);
       return 'yes';
     }