diff -uNp linux-2.6.15.noarch/init/Kconfig.orig linux-2.6.15.noarch/init/Kconfig
--- linux-2.6.15.noarch/init/Kconfig.orig	2006-03-07 17:13:19.000000000 +0100
+++ linux-2.6.15.noarch/init/Kconfig	2006-03-07 17:13:34.000000000 +0100
@@ -224,7 +224,7 @@ config UID16
 	  This enables the legacy 16-bit UID syscall wrappers.
 
 config VM86
-	depends X86
+	depends X86 && !XEN
 	default y
 	bool "Enable VM86 support" if EMBEDDED
 	help