CONFIG_EDAC_I7CORE=m
CONFIG_EFI=y
CONFIG_DRM_I915_KMS=y
CONFIG_DRM_RADEON_KMS=y
CONFIG_PCI_DOMAINS=y
CONFIG_THINKPAD_ACPI=m
CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y
CONFIG_THINKPAD_ACPI_VIDEO=y
CONFIG_MEMORY_HOTPLUG=y
CONFIG_SPARSEMEM=y
CONFIG_SPARSEMEM_MANUAL=y
CONFIG_ACPI_HOTPLUG_MEMORY=y
CONFIG_MEMORY_HOTPLUG_SPARSE=y
CONFIG_DEBUG_NMI_TIMEOUT=30
CONFIG_CRASH=y
CONFIG_IMA=y
CONFIG_INTEL_IOATDMA=m
CONFIG_NET_DMA=y
CONFIG_DMADEVICES=y
CONFIG_UID16=y
CONFIG_POWER_TRACER=y
CONFIG_HIGH_RES_TIMERS=y
CONFIG_X86_PAE=y
CONFIG_HOTPLUG_PCI_PCIE=y
CONFIG_PCIEPORTBUS=y
CONFIG_PCIEAER=y
CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE=y
CONFIG_DELL_WMI=m
CONFIG_KEXEC_AUTO_RESERVE=y
CONFIG_SPARSE_IRQ=y
CONFIG_X86_MCE_INJECT=m
CONFIG_OPROFILE_EVENT_MULTIPLEX=y
CONFIG_XEN_PLATFORM_PCI=y
CONFIG_VMWARE_BALLOON=m
CONFIG_X86_PCC_CPUFREQ=m
# CONFIG_HP_WATCHDOG is not set
# CONFIG_TICK_DIVIDER is not set
# CONFIG_THINKPAD_ACPI_DEBUG is not set
# CONFIG_HOTPLUG_PCI_PCIE_POLL_EVENT_MODE is not set
# CONFIG_MEMORY_HOTREMOVE is not set
# CONFIG_SND_ES18XX is not set
# CONFIG_CPU_SUP_CENTAUR is not set
# CONFIG_KVM is not set
# CONFIG_X86_CPU_DEBUG is not set
# CONFIG_TRACK_DIRTY_PAGES is not set
# CONFIG_VMI is not set
# CONFIG_LGUEST is not set
# CONFIG_LGUEST_GUEST is not set
# CONFIG_CAPI_EICON is not set
# CONFIG_IB700_WDT is not set
# CONFIG_SCSI_FUTURE_DOMAIN is not set
# CONFIG_SCx200_ACB is not set
# CONFIG_SECCOMP is not set
# CONFIG_SCSI_ADVANSYS is not set
# CONFIG_I2O is not set
# CONFIG_I2O_BLOCK is not set
# CONFIG_I2O_SCSI is not set
# CONFIG_I2O_PROC is not set
# CONFIG_I2O_CONFIG is not set
# CONFIG_I2O_EXT_ADAPTEC is not set
# CONFIG_I2O_EXT_ADAPTEC_DMA64 is not set
# CONFIG_I2O_CONFIG_OLD_IOCTL is not set
# CONFIG_I2O_BUS is not set
# CONFIG_X86_PPRO_FENCE is not set
# CONFIG_DMAR_DEFAULT_ON is not set
