diff --git a/target/linux/x86/config-default b/target/linux/x86/config-default
index 326e46b9f..41666daed 100644
--- a/target/linux/x86/config-default
+++ b/target/linux/x86/config-default
@@ -382,6 +382,7 @@ CONFIG_VM_EVENT_COUNTERS=y
 CONFIG_X86=y
 CONFIG_X86_32=y
 CONFIG_X86_32_LAZY_GS=y
+# CONFIG_X86_32_IRIS is not set
 # CONFIG_X86_64 is not set
 # CONFIG_X86_ACPI_CPUFREQ is not set
 CONFIG_X86_ALIGNMENT_16=y
@@ -442,3 +443,4 @@ CONFIG_X86_WP_WORKS_OK=y
 CONFIG_X86_XADD=y
 # CONFIG_ZONE_DMA32 is not set
 # CONFIG_BATTERY_BQ20Z75 is not set
+# CONFIG_TRANSPARENT_HUGEPAGE is not set