additional Kconfig options for newer kernels

SVN-Revision: 24081

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