diff --git a/debian/config/i386/none/config.686-pae b/debian/config/i386/none/config.686-pae
index d6e632f3b..86033824e 100644
--- a/debian/config/i386/none/config.686-pae
+++ b/debian/config/i386/none/config.686-pae
@@ -1,6 +1,7 @@
 ##
 ## file: arch/x86/Kconfig
 ##
+# CONFIG_X86_32_IRIS is not set
 ## choice: High Memory Support
 # CONFIG_NOHIGHMEM is not set
 # CONFIG_HIGHMEM4G is not set