diff --git a/debian/config/i386/config b/debian/config/i386/config
index 98bbd7a99..cffd36b79 100644
--- a/debian/config/i386/config
+++ b/debian/config/i386/config
@@ -681,6 +681,7 @@ CONFIG_ATM_HE=m
 CONFIG_ATM_HE_USE_SUNI=y
 CONFIG_FDDI=y
 CONFIG_DEFXX=m
+# CONFIG_DEFXX_MMIO is not set
 CONFIG_SKFP=m
 CONFIG_HIPPI=y
 CONFIG_ROADRUNNER=m