diff --git a/debian/config/amd64/config b/debian/config/amd64/config
index 6c4cfda53..b03c37928 100644
--- a/debian/config/amd64/config
+++ b/debian/config/amd64/config
@@ -773,6 +773,7 @@ CONFIG_PHANTOM=m
 CONFIG_ACER_WMI=m
 CONFIG_SONYPI_COMPAT=y
 CONFIG_THINKPAD_ACPI=m
+# CONFIG_THINKPAD_ACPI_DEBUGFACILITIES is not set
 # CONFIG_THINKPAD_ACPI_DEBUG is not set
 CONFIG_THINKPAD_ACPI_BAY=y
 CONFIG_THINKPAD_ACPI_VIDEO=y
diff --git a/debian/config/i386/config b/debian/config/i386/config
index 34610124d..13ed5ed80 100644
--- a/debian/config/i386/config
+++ b/debian/config/i386/config
@@ -921,6 +921,7 @@ CONFIG_ACER_WMI=m
 CONFIG_TC1100_WMI=m
 CONFIG_SONYPI_COMPAT=y
 CONFIG_THINKPAD_ACPI=m
+# CONFIG_THINKPAD_ACPI_DEBUGFACILITIES is not set
 # CONFIG_THINKPAD_ACPI_DEBUG is not set
 CONFIG_THINKPAD_ACPI_BAY=y
 CONFIG_THINKPAD_ACPI_VIDEO=y