diff --git a/target/linux/x86/config-default b/target/linux/x86/config-default
index 0a66825a15..0b0981b894 100644
--- a/target/linux/x86/config-default
+++ b/target/linux/x86/config-default
@@ -5,6 +5,8 @@ CONFIG_4KSTACKS=y
 # CONFIG_AC3200 is not set
 # CONFIG_ACPI is not set
 # CONFIG_ACPI_CMPC is not set
+# CONFIG_ACPI_EC_DEBUGFS is not set
+# CONFIG_ACPI_QUICKSTART is not set
 # CONFIG_ACQUIRE_WDT is not set
 # CONFIG_ADVANTECH_WDT is not set
 # CONFIG_ALIM1535_WDT is not set
@@ -176,6 +178,7 @@ CONFIG_HW_RANDOM_VIA=y
 # CONFIG_IMA is not set
 CONFIG_INITRAMFS_SOURCE=""
 # CONFIG_INPUT is not set
+# CONFIG_INTEL_IPS is not set
 # CONFIG_INTEL_MENLOW is not set
 # CONFIG_IOMMU_API is not set
 # CONFIG_IOMMU_HELPER is not set
@@ -259,6 +262,7 @@ CONFIG_NR_CPUS=1
 # CONFIG_NSC_GPIO is not set
 CONFIG_NVRAM=y
 # CONFIG_OLPC is not set
+# CONFIG_OLPC_OPENFIRMWARE is not set
 # CONFIG_OPTIMIZE_INLINING is not set
 CONFIG_OUTPUT_FORMAT="elf32-i386"
 CONFIG_PAGEFLAGS_EXTENDED=y