Index: head-2006-02-14/arch/i386/Kconfig
===================================================================
--- head-2006-02-14.orig/arch/i386/Kconfig	2006-02-13 15:07:48.000000000 +0100
+++ head-2006-02-14/arch/i386/Kconfig	2006-02-15 16:30:32.000000000 +0100
@@ -946,7 +946,9 @@ config APM_REAL_MODE_POWER_OFF
 
 endmenu
 
+if !X86_XEN
 source "arch/i386/kernel/cpu/cpufreq/Kconfig"
+endif
 
 endmenu