diff --git a/debian/config/amd64/config b/debian/config/amd64/config
index ab8f71973..597ccf121 100644
--- a/debian/config/amd64/config
+++ b/debian/config/amd64/config
@@ -96,6 +96,7 @@ CONFIG_ACPI_BATTERY=m
 CONFIG_ACPI_BUTTON=m
 CONFIG_ACPI_VIDEO=m
 CONFIG_ACPI_FAN=m
+CONFIG_ACPI_DOCK=m
 CONFIG_ACPI_BAY=m
 CONFIG_ACPI_PROCESSOR=m
 CONFIG_ACPI_THERMAL=m
diff --git a/debian/config/config b/debian/config/config
index ac9c0bd81..1171858cf 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -68,11 +68,6 @@ CONFIG_CRYPTO_TEST=m
 CONFIG_CRYPTO_AUTHENC=m
 CONFIG_CRYPTO_LZO=m
 
-##
-## file: drivers/acpi/Kconfig
-##
-CONFIG_ACPI_DOCK=m
-
 ##
 ## file: drivers/ata/Kconfig
 ##
diff --git a/debian/config/i386/config b/debian/config/i386/config
index d73ad4e55..7a36a8a6b 100644
--- a/debian/config/i386/config
+++ b/debian/config/i386/config
@@ -167,6 +167,7 @@ CONFIG_ACPI_BATTERY=m
 CONFIG_ACPI_BUTTON=m
 CONFIG_ACPI_VIDEO=m
 CONFIG_ACPI_FAN=m
+CONFIG_ACPI_DOCK=m
 CONFIG_ACPI_BAY=m
 CONFIG_ACPI_PROCESSOR=m
 CONFIG_ACPI_THERMAL=m
diff --git a/debian/config/ia64/config b/debian/config/ia64/config
index 18d206865..47d7fcad7 100644
--- a/debian/config/ia64/config
+++ b/debian/config/ia64/config
@@ -61,6 +61,7 @@ CONFIG_IA64_ACPI_CPUFREQ=m
 ##
 ## file: drivers/acpi/Kconfig
 ##
+CONFIG_ACPI_DOCK=m
 CONFIG_ACPI_HOTPLUG_CPU=y
 CONFIG_ACPI_EC=y
 CONFIG_ACPI_CONTAINER=y