diff --git a/debian/config/amd64/config b/debian/config/amd64/config
index f83faeb3a..4cb64d1ee 100644
--- a/debian/config/amd64/config
+++ b/debian/config/amd64/config
@@ -126,7 +126,7 @@ CONFIG_ACPI_BATTERY=m
 CONFIG_ACPI_BUTTON=m
 CONFIG_ACPI_VIDEO=m
 CONFIG_ACPI_FAN=m
-CONFIG_ACPI_DOCK=m
+CONFIG_ACPI_DOCK=y
 CONFIG_ACPI_BAY=m
 CONFIG_ACPI_PROCESSOR=m
 CONFIG_ACPI_THERMAL=m
diff --git a/debian/config/i386/config b/debian/config/i386/config
index 4baad236f..d8912a4d3 100644
--- a/debian/config/i386/config
+++ b/debian/config/i386/config
@@ -184,7 +184,7 @@ CONFIG_ACPI_BATTERY=m
 CONFIG_ACPI_BUTTON=m
 CONFIG_ACPI_VIDEO=m
 CONFIG_ACPI_FAN=m
-CONFIG_ACPI_DOCK=m
+CONFIG_ACPI_DOCK=y
 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 0af38ba60..55b831273 100644
--- a/debian/config/ia64/config
+++ b/debian/config/ia64/config
@@ -45,7 +45,7 @@ CONFIG_IA64_ACPI_CPUFREQ=m
 ##
 ## file: drivers/acpi/Kconfig
 ##
-CONFIG_ACPI_DOCK=m
+CONFIG_ACPI_DOCK=y
 CONFIG_ACPI_CONTAINER=y
 CONFIG_ACPI_PCI_SLOT=m