# CONFIG_60XX_WDT is not set
# CONFIG_64BIT is not set
# CONFIG_AC3200 is not set
+# CONFIG_ACERHDF is not set
# CONFIG_ACPI is not set
# CONFIG_ACPI_CMPC is not set
# CONFIG_ACPI_EC_DEBUGFS is not set
# CONFIG_CPU_SUP_INTEL is not set
# CONFIG_CPU_SUP_TRANSMETA_32 is not set
# CONFIG_CPU_SUP_UMC_32 is not set
+# CONFIG_CRASHLOG is not set
# CONFIG_CS5535_GPIO is not set
+# CONFIG_GPIO_CS5535 is not set
# CONFIG_CS89x0 is not set
# CONFIG_DCDBAS is not set
# CONFIG_DEBUG_BOOT_PARAMS is not set
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
CONFIG_GENERIC_IOMAP=y
CONFIG_GENERIC_ISA_DMA=y
# CONFIG_GENERIC_TIME_VSYSCALL is not set
+# CONFIG_GOOGLE_FIRMWARE is not set
# CONFIG_HANGCHECK_TIMER is not set
CONFIG_HAS_DMA=y
CONFIG_HAS_IOMEM=y
# CONFIG_HIGHMEM4G is not set
# CONFIG_HIGHMEM64G is not set
# CONFIG_HIGH_RES_TIMERS is not set
+# CONFIG_HP_ACCEL is not set
CONFIG_HPET=y
CONFIG_HPET_EMULATE_RTC=y
CONFIG_HPET_MMAP=y
CONFIG_INITRAMFS_SOURCE=""
# CONFIG_INPUT is not set
# CONFIG_INTEL_IPS is not set
+# CONFIG_INTEL_MEI is not set
# CONFIG_INTEL_MENLOW is not set
# CONFIG_IOMMU_API is not set
# CONFIG_IOMMU_HELPER is not set
# CONFIG_M586TSC is not set
# CONFIG_M686 is not set
# CONFIG_MACHZ_WDT is not set
+CONFIG_X86_RESERVE_LOW=64
CONFIG_MATH_EMULATION=y
# CONFIG_MATOM is not set
# CONFIG_MCA is not set
# CONFIG_MCYRIXIII is not set
# CONFIG_MDA_CONSOLE is not set
# CONFIG_MEFFICEON is not set
+# CONFIG_MELAN is not set
# CONFIG_MEMTEST is not set
# CONFIG_MGEODEGX1 is not set
# CONFIG_MGEODE_LX is not set
# CONFIG_NET_VENDOR_SMC is not set
CONFIG_NOHIGHMEM=y
CONFIG_NR_CPUS=1
+# CONFIG_IRQ_TIME_ACCOUNTING is not set
# CONFIG_NSC_GPIO is not set
CONFIG_NVRAM=y
# CONFIG_OLPC is not set
CONFIG_PAGEFLAGS_EXTENDED=y
CONFIG_PAGE_OFFSET=0xC0000000
# CONFIG_PARAVIRT_GUEST is not set
-CONFIG_PATA_AMD=y
+# CONFIG_PATA_AMD is not set
CONFIG_PATA_MPIIX=y
CONFIG_PATA_OLDPIIX=y
CONFIG_PATA_SC1200=y
# CONFIG_SBC7240_WDT is not set
# CONFIG_SBC8360_WDT is not set
# CONFIG_SBC_EPX_C3_WATCHDOG is not set
+# CONFIG_F71808E_WDT is not set
# CONFIG_SC1200_WDT is not set
# CONFIG_SC520_WDT is not set
# CONFIG_SCHED_HRTICK is not set
CONFIG_SCHED_OMIT_FRAME_POINTER=y
CONFIG_SCSI=y
+# CONFIG_SCSI_ISCI is not set
CONFIG_SCx200=y
CONFIG_SCx200HR_TIMER=y
# CONFIG_SCx200_GPIO is not set
# CONFIG_SCx200_WDT is not set
# CONFIG_SENSORS_K10TEMP is not set
+# CONFIG_SENSORS_PKGTEMP is not set
# CONFIG_SENSORS_VIA_CPUTEMP is not set
# CONFIG_SERIAL_8250_EXTENDED is not set
CONFIG_SERIAL_8250_PCI=y
# CONFIG_SERIO_PCIPS2 is not set
# CONFIG_SERIO_RAW is not set
CONFIG_SERIO_SERPORT=y
+# CONFIG_SERIO_PS2MULT is not set
# CONFIG_SLAB is not set
CONFIG_SLUB=y
CONFIG_SLUB_DEBUG=y
# CONFIG_TOPSTAR_LAPTOP is not set
# CONFIG_TOSHIBA is not set
# CONFIG_TOSHIBA_BT_RFKILL is not set
+# CONFIG_IBM_RTL is not set
# CONFIG_TREE_PREEMPT_RCU is not set
CONFIG_TREE_RCU=y
# CONFIG_TYPHOON is not set
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
CONFIG_X86_VERBOSE_BOOTUP=y
CONFIG_X86_WP_WORKS_OK=y
CONFIG_X86_XADD=y
+# CONFIG_XO15_EBOOK is not set
# CONFIG_ZONE_DMA32 is not set
+# CONFIG_BATTERY_BQ20Z75 is not set
+# CONFIG_TRANSPARENT_HUGEPAGE is not set
+# CONFIG_ALIX is not set
+# CONFIG_SAMSUNG_Q10 is not set