Index: 2005-12-16/arch/x86_64/Kconfig
===================================================================
--- 2005-12-16.orig/arch/x86_64/Kconfig	2005-12-16 17:55:37.000000000 +0100
+++ 2005-12-16/arch/x86_64/Kconfig	2005-12-19 14:43:15.181454000 +0100
@@ -162,7 +162,7 @@ config X86_CPUID
 
 config X86_HT
 	bool
-	depends on SMP && !MK8
+	depends on SMP && !MK8 && !X86_64_XEN
 	default y
 
 config MATH_EMULATION