diff --git a/target/linux/x86/config-default b/target/linux/x86/config-default
index 1d20fd67f2..22f49e75fb 100644
--- a/target/linux/x86/config-default
+++ b/target/linux/x86/config-default
@@ -87,6 +87,7 @@ CONFIG_DEFAULT_IO_DELAY_TYPE=0
 CONFIG_DEVPORT=y
 # CONFIG_DMAR is not set
 # CONFIG_DMI is not set
+# CONFIG_DMI_SYSFS is not set
 CONFIG_DNOTIFY=y
 CONFIG_DOUBLEFAULT=y
 CONFIG_DUMMY_CONSOLE=y