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