- patches.arch/x86_mce_intel_decode_physical_address.patch:

[linux-flexiantxendom0-3.2.10.git] / drivers / firmware / Kconfig

diff --git a/drivers/firmware/Kconfig b/drivers/firmware/Kconfig
index 2d582e3..1b03ba1 100644 (file)
--- a/drivers/firmware/Kconfig
+++ b/drivers/firmware/Kconfig
@@ -90,7 +90,6 @@ config DELL_RBU
 config DCDBAS
        tristate "Dell Systems Management Base Driver"
        depends on X86
-       select XEN_DOMCTL if XEN
        help
          The Dell Systems Management Base Driver provides a sysfs interface
          for systems management software to perform System Management