-# CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
-# CONFIG_ASUS_LAPTOP is not set
-# CONFIG_AT1700 is not set
-# CONFIG_AUDIT_ARCH is not set
-# CONFIG_BLK_DEV_XD is not set
-# CONFIG_CC_STACKPROTECTOR is not set
-# CONFIG_CMDLINE_BOOL is not set
-# CONFIG_CPU5_WDT is not set
-# CONFIG_CPU_FREQ_DEBUG is not set
-# CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set
-# CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set
-# CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE is not set
-# CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE is not set
-# CONFIG_CPU_FREQ_GOV_CONSERVATIVE is not set
-# CONFIG_CPU_FREQ_GOV_ONDEMAND is not set
-# CONFIG_CPU_FREQ_GOV_POWERSAVE is not set
-# CONFIG_CPU_FREQ_GOV_USERSPACE is not set
-# CONFIG_CS5535_GPIO is not set
-# CONFIG_CS89x0 is not set
-# CONFIG_DCDBAS is not set
-# CONFIG_DELL_RBU is not set
-# CONFIG_DEPCA is not set
-# CONFIG_DMAR is not set
-# CONFIG_DMA_API_DEBUG is not set
-# CONFIG_DMIID is not set
-# CONFIG_EARLY_PRINTK_DBGP is not set
-# CONFIG_EDD is not set
-# CONFIG_EFI is not set
-# CONFIG_EISA is not set
-# CONFIG_EL1 is not set
-# CONFIG_EL16 is not set
-# CONFIG_EL2 is not set
-# CONFIG_EL3 is not set
-# CONFIG_ELPLUS is not set
-# CONFIG_EUROTECH_WDT is not set
-# CONFIG_FRAME_POINTER is not set
-# CONFIG_FREEZER is not
-# CONFIG_GENERIC_CPU is not set
-# CONFIG_GENERIC_PENDING_IRQ is not set
-# CONFIG_GENERIC_TIME_VSYSCALL is not set
-# CONFIG_HANGCHECK_TIMER is not set
-# CONFIG_HAVE_CPUMASK_OF_CPU_MAP is not set
-# CONFIG_HAVE_PERF_EVENTS is not set
-# CONFIG_HIBERNATION is not set
-# CONFIG_HIGHMEM4G is not set
-# CONFIG_HIGHMEM64G is not set
-# CONFIG_HIGH_RES_TIMERS is not set
-# CONFIG_HOTPLUG_CPU is not set
-# CONFIG_HP_WATCHDOG is not set
-# CONFIG_HUGETLBFS is not set
-# CONFIG_HVC_DRIVER is not set
-# CONFIG_HVC_IRQ is not set
-# CONFIG_HVC_XEN is not set
-# CONFIG_I6300ESB_WDT is not set
-# CONFIG_I8K is not set
-# CONFIG_IB700_WDT is not set
-# CONFIG_IBMASR is not set
-# CONFIG_IMA is not set
-# CONFIG_INPUT_YEALINK is not set
-# CONFIG_INTEL_MENLOW is not set
-# CONFIG_IOMMU_API is not set
-# CONFIG_IOMMU_HELPER is not set
-# CONFIG_IOMMU_STRESS is not set
-# CONFIG_IO_DELAY_0XED is not set
-# CONFIG_IO_DELAY_NONE is not set
-# CONFIG_IO_DELAY_UDELAY is not set
-# CONFIG_ISCSI_IBFT_FIND is not set
-# CONFIG_IT8712F_WDT is not set
-# CONFIG_IT87_WDT is not set
-# CONFIG_ITCO_WDT is not set
-# CONFIG_KEYBOARD_LKKBD is not set
-# CONFIG_KEYBOARD_NEWTON is not set
-# CONFIG_KEYBOARD_STOWAWAY is not set
-# CONFIG_KEYBOARD_SUNKBD is not set
-# CONFIG_KEYBOARD_XTKBD is not set
-# CONFIG_KVM_CLOCK is not set
-# CONFIG_KVM_GUEST is not set
-# CONFIG_LANCE is not set
-# CONFIG_LEDS_ALIX2 is not set
-# CONFIG_LEDS_CLEVO_MAIL is not set
-# CONFIG_LGUEST_GUEST is not set
-# CONFIG_LOCK_KERNEL is not set
-# CONFIG_M386 is not set
-# CONFIG_M486 is not set
-# CONFIG_M586 is not set
-# CONFIG_M586MMX is not set
-# CONFIG_M586TSC is not set
-# CONFIG_M686 is not set
-# CONFIG_MACHZ_WDT is not set
-# CONFIG_MATOM is not set
-# CONFIG_MCA is not set
-# CONFIG_MCORE2 is not set
-# CONFIG_MCRUSOE is not set
-# CONFIG_MCYRIXIII is not set
-# CONFIG_MDA_CONSOLE is not set
-# CONFIG_MEFFICEON is not set
-# CONFIG_MEMTEST is not set
-# CONFIG_MGEODEGX1 is not set
-# CONFIG_MGEODE_LX is not set
-# CONFIG_MICROCODE_AMD is not set
-# CONFIG_MIXCOMWD is not set
-# CONFIG_MK6 is not set
-# CONFIG_MK7 is not set
-# CONFIG_MK8 is not set
-# CONFIG_MOUSE_BCM5974 is not set
-# CONFIG_MOUSE_PS2_ELANTECH is not set
-# CONFIG_MOUSE_PS2_TOUCHKIT is not set
-# CONFIG_MOUSE_SERIAL is not set
-# CONFIG_MOUSE_VSXXXAA is not set
-# CONFIG_MPENTIUM4 is not set
-# CONFIG_MPENTIUMII is not set
-# CONFIG_MPENTIUMIII is not set
-# CONFIG_MPENTIUMM is not set
-# CONFIG_MPSC is not set
-# CONFIG_MTD_CFI is not set
-# CONFIG_MTD_COMPLEX_MAPPINGS is not set
-# CONFIG_MTD_TS5500 is not set
-# CONFIG_MTRR_SANITIZER is not set
-# CONFIG_MVIAC3_2 is not set
-# CONFIG_MVIAC7 is not set
-# CONFIG_MWINCHIP3D is not set
-# CONFIG_MWINCHIPC6 is not set
-# CONFIG_NET_NS is not set
-# CONFIG_NET_VENDOR_RACAL is not set
-# CONFIG_NET_VENDOR_SMC is not set
-# CONFIG_NR_CPUS is not set
-# CONFIG_NSC_GPIO is not set
-# CONFIG_OLPC is not set
-# CONFIG_OPTIMIZE_INLINING is not set
-# CONFIG_PARAVIRT is not set
-# CONFIG_PARAVIRT_CLOCK is not set
-# CONFIG_PARAVIRT_GUEST is not set
-# CONFIG_PARAVIRT_SPINLOCKS is not set
-# CONFIG_PC8736x_GPIO is not set
-# CONFIG_PC87413_WDT is not set
-# CONFIG_PCIEPORTBUS is not set
-# CONFIG_PCI_GOBIOS is not set
-# CONFIG_PCI_GODIRECT is not set
-# CONFIG_PCI_GOMMCONFIG is not set
-# CONFIG_PCI_GOOLPC is not set
-# CONFIG_PCWATCHDOG is not set
-# CONFIG_PDA_POWER is not set
-# CONFIG_PERF_COUNTERS is not set
-# CONFIG_PERF_EVENTS is not set
-# CONFIG_PHYS_ADDR_T_64BIT is not set
-# CONFIG_PM_DEBUG is not set
-# CONFIG_PM_RUNTIME is not set
-# CONFIG_PM_SLEEP is not set
-# CONFIG_PM_SLEEP_SMP is not set
-# CONFIG_PNPBIOS is not set
-# CONFIG_POWER_SUPPLY_DEBUG is not set
-# CONFIG_PROCESSOR_SELECT is not set
-# CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
-# CONFIG_RCU_FANOUT_EXACT is not set
-# CONFIG_RCU_TRACE is not set
-# CONFIG_RELOCATABLE is not set
-# CONFIG_RWSEM_GENERIC_SPINLOCK is not set
-# CONFIG_SBC7240_WDT is not set
-# CONFIG_SBC8360_WDT is not set
-# CONFIG_SBC_EPX_C3_WATCHDOG is not set
-# CONFIG_SC1200_WDT is not set
-# CONFIG_SC520_WDT is not set
-# CONFIG_SCHED_HRTICK is not set
-# CONFIG_SCHED_MC is not set
-# CONFIG_SCHED_SMT is not set
-# CONFIG_SCSI_LOWLEVEL is not set
-# CONFIG_SCx200_GPIO is not set
-# CONFIG_SCx200_WDT is not set
-# CONFIG_SERIAL_8250_EXTENDED is not set
-# CONFIG_SERIO_CT82C710 is not set
-# CONFIG_SERIO_PCIPS2 is not set
-# CONFIG_SERIO_RAW is not set
-# CONFIG_SLAB is not set
-# CONFIG_SLUB_DEBUG_ON is not set
-# CONFIG_SLUB_STATS is not set
-# CONFIG_SMP is not set
-# CONFIG_SMSC37B787_WDT is not set
-# CONFIG_SMSC_SCH311X_WDT is not set
-# CONFIG_SPARSE_IRQ is not set
-# CONFIG_STOP_MACHINE is not set
-# CONFIG_SUSPEND is not set
-# CONFIG_SYS_HYPERVISOR is not set
-# CONFIG_TC1100_WMI is not set
-# CONFIG_TELCLOCK is not set
-# CONFIG_THINKPAD_ACPI is not set
-# CONFIG_TOPSTAR_LAPTOP is not set
-# CONFIG_TOSHIBA is not set
-# CONFIG_TREE_PREEMPT_RCU is not set
-# CONFIG_TYPHOON is not set
-# CONFIG_USER_NS is not set
-# CONFIG_USE_GENERIC_SMP_HELPERS is not set
-# CONFIG_VGACON_SOFT_SCROLLBACK is not set
-# CONFIG_VMI is not set
-# CONFIG_VORTEX is not set
-# CONFIG_VT_HW_CONSOLE_BINDING is not set
-# CONFIG_W83697UG_WDT is not set
-# CONFIG_WAFER_WDT is not set
-# CONFIG_WDT is not set
-# CONFIG_X86_32_SMP is not set
-# CONFIG_X86_64 is not set
-# CONFIG_X86_ACPI_CPUFREQ is not set
-# CONFIG_X86_ANCIENT_MCE is not set
-# CONFIG_X86_BIGSMP is not set
-# CONFIG_X86_CHECK_BIOS_CORRUPTION is not set
-# CONFIG_X86_CMOV is not set
-# CONFIG_X86_CMPXCHG64 is not set
-# CONFIG_X86_CPUFREQ_NFORCE2 is not set
-# CONFIG_X86_CPUID is not set
-# CONFIG_X86_CPU_DEBUG is not set
-# CONFIG_X86_DEBUGCTLMSR is not set
-# CONFIG_X86_DS is not set
-# CONFIG_X86_ELAN is not set
-# CONFIG_X86_EXTENDED_PLATFORM is not set
-# CONFIG_X86_E_POWERSAVER is not set
-# CONFIG_X86_GX_SUSPMOD is not set
-# CONFIG_X86_HT is not set
-# CONFIG_X86_LONGHAUL is not set
-# CONFIG_X86_LONGRUN is not set
-# CONFIG_X86_MCE_INJECT is not set
-# CONFIG_X86_MRST is not set
-# CONFIG_X86_MSR is not set
-# CONFIG_X86_OLD_MCE is not set
-# CONFIG_X86_P4_CLOCKMOD is not set
-# CONFIG_X86_PAE is not set
-# CONFIG_X86_POWERNOW_K6 is not set
-# CONFIG_X86_POWERNOW_K7 is not set
-# CONFIG_X86_POWERNOW_K8 is not set
-# CONFIG_X86_RDC321X is not set
-# CONFIG_X86_REBOOTFIXUPS is not set
-# CONFIG_X86_SPEEDSTEP_CENTRINO is not set
-# CONFIG_X86_SPEEDSTEP_ICH is not set
-# CONFIG_X86_SPEEDSTEP_LIB is not set
-# CONFIG_X86_SPEEDSTEP_SMI is not set
-# CONFIG_X86_TRAMPOLINE is not set
-# CONFIG_X86_TSC is not set
-# CONFIG_X86_USE_PPRO_CHECKSUM is not set
-# CONFIG_XEN is not set
-# CONFIG_XENFS is not set
-# CONFIG_XEN_BALLOON is not set
-# CONFIG_XEN_BLKDEV_FRONTEND is not set
-# CONFIG_XEN_DEBUG_FS is not set
-# CONFIG_XEN_DEV_EVTCHN is not set
-# CONFIG_XEN_MAX_DOMAIN_MEMORY is not set
-# CONFIG_XEN_NETDEV_FRONTEND is not set
-# CONFIG_XEN_SAVE_RESTORE is not set
-# CONFIG_XEN_SCRUB_PAGES is not set
-# CONFIG_XEN_SYS_HYPERVISOR is not set
-# CONFIG_ZONE_DMA32 is not set
-CONFIG_4KSTACKS=y
-CONFIG_ACPI=y
-CONFIG_ACPI_BLACKLIST_YEAR=0
-CONFIG_ACPI_PROCESSOR=y
-CONFIG_ACPI_SYSFS_POWER=y
-CONFIG_ACPI_THERMAL=y