diff --git a/debian/config/i386/config b/debian/config/i386/config
index 4a6ff2e3f..86acf8fac 100644
--- a/debian/config/i386/config
+++ b/debian/config/i386/config
@@ -127,6 +127,7 @@ CONFIG_X86_VERBOSE_BOOTUP=y
 # CONFIG_DIRECT_GBPAGES is not set
 # CONFIG_DEBUG_NX_TEST is not set
 # CONFIG_4KSTACKS is not set
+# CONFIG_MMIOTRACE is not set
 CONFIG_DOUBLEFAULT=y
 ## choice: IO delay type
 CONFIG_IO_DELAY_0X80=y