--- vmware/vmmon-only/include/driver-config.h.org	2007-01-26 10:46:01 +0800
+++ vmware/vmmon-only/include/driver-config.h	2006-11-14 05:06:18 +0800
@@ -19,7 +19,8 @@
 #include "includeCheck.h"
 
 #include <linux/autoconf.h>
+#undef CONFIG_PARAVIRT
 #include "compat_version.h"
 
 /* We rely on Kernel Module support.  Check here. */