Index: 2005-12-16/drivers/firmware/Kconfig
===================================================================
--- 2005-12-16.orig/drivers/firmware/Kconfig	2005-12-02 09:27:45.000000000 +0100
+++ 2005-12-16/drivers/firmware/Kconfig	2005-12-22 14:31:33.000000000 +0100
@@ -8,7 +8,7 @@ menu "Firmware Drivers"
 config EDD
 	tristate "BIOS Enhanced Disk Drive calls determine boot disk (EXPERIMENTAL)"
 	depends on EXPERIMENTAL
-	depends on !IA64
+	depends on !IA64 && !XEN
 	help
 	  Say Y or M here if you want to enable BIOS Enhanced Disk Drive
 	  Services real mode BIOS calls to determine which disk