Index: 2005-12-16/arch/i386/Kconfig
===================================================================
--- 2005-12-16.orig/arch/i386/Kconfig	2005-12-16 15:38:28.000000000 +0100
+++ 2005-12-16/arch/i386/Kconfig	2005-12-16 17:55:09.007506312 +0100
@@ -699,7 +699,7 @@ config PHYSICAL_START
 
 config KEXEC
 	bool "kexec system call (EXPERIMENTAL)"
-	depends on EXPERIMENTAL
+	depends on EXPERIMENTAL && !X86_XEN
 	help
 	  kexec is a system call that implements the ability to shutdown your
 	  current kernel, and to start another kernel.  It is like a reboot
Index: 2005-12-16/arch/x86_64/Kconfig
===================================================================
--- 2005-12-16.orig/arch/x86_64/Kconfig	2005-12-14 12:25:18.000000000 +0100
+++ 2005-12-16/arch/x86_64/Kconfig	2005-12-16 17:55:37.881116856 +0100
@@ -431,7 +431,7 @@ config PHYSICAL_START
 
 config KEXEC
 	bool "kexec system call (EXPERIMENTAL)"
-	depends on EXPERIMENTAL
+	depends on EXPERIMENTAL && !X86_64_XEN
 	help
 	  kexec is a system call that implements the ability to shutdown your
 	  current kernel, and to start another kernel.  It is like a reboot