CONFIG_EDAC_I7CORE=m
CONFIG_EDAC_SBRIDGE=m
CONFIG_EDAC_I7300=m
CONFIG_EFI=y
CONFIG_DRM_I915_KMS=y
CONFIG_DRM_RADEON_KMS=y
CONFIG_MAXSMP=y
CONFIG_NR_CPUS=4096
CONFIG_NODES_SHIFT=9
CONFIG_AMD_IOMMU=y
CONFIG_PCI_DOMAINS=y
CONFIG_DMAR=y
CONFIG_DMAR_FLOPPY_WA=y
CONFIG_DMAR_BROKEN_GFX_WA=y
CONFIG_THINKPAD_ACPI=m
CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y
CONFIG_THINKPAD_ACPI_VIDEO=y
CONFIG_MEMORY_HOTPLUG=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_DCA=m
CONFIG_NET_DMA=y
CONFIG_DMADEVICES=y
CONFIG_UID16=y
CONFIG_POWER_TRACER=y
CONFIG_HIGH_RES_TIMERS=y
CONFIG_HOTPLUG_PCI_PCIE=y
CONFIG_KVM=m
CONFIG_PCIEPORTBUS=y
CONFIG_PCIEAER=y
CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE=y
CONFIG_DELL_WMI=m
CONFIG_KEXEC_AUTO_RESERVE=y
CONFIG_SGI_GRU=m
CONFIG_X86_UV=y
CONFIG_UV_MMTIMER=m
CONFIG_X86_MCE_INJECT=m
CONFIG_TRACK_DIRTY_PAGES=y
CONFIG_OPROFILE_EVENT_MULTIPLEX=y
CONFIG_FRAME_POINTER=y
CONFIG_FUNCTION_TRACER=y
CONFIG_FUNCTION_GRAPH_TRACER=y
CONFIG_STACK_TRACER=y
CONFIG_FUNCTION_PROFILER=y
CONFIG_DYNAMIC_FTRACE=y
CONFIG_HP_ILO=m
CONFIG_ACPI_HOTPLUG_MEMORY_AUTO_ONLINE=y
CONFIG_XEN_PLATFORM_PCI=y
CONFIG_VMWARE_BALLOON=m
CONFIG_X86_PCC_CPUFREQ=m
CONFIG_INTEL_IDLE=y
CONFIG_INFINIBAND_QIB=m
CONFIG_INTEL_IPS=m
CONFIG_INTEL_TXT=y
CONFIG_HP_WATCHDOG=m
CONFIG_HPWDT_NMI_DECODING=y
CONFIG_IB700_WDT=m
CONFIG_HPET_MMAP=y
CONFIG_SENSORS_FAM15H_POWER=m
# CONFIG_DMAR_DEFAULT_ON 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_CALGARY_IOMMU_ENABLED_BY_DEFAULT is not set
# CONFIG_UV_MMTIMER is not set
# CONFIG_CPU_SUP_CENTAUR is not set
# CONFIG_X86_CPU_DEBUG is not set
# CONFIG_CAPI_EICON is not set
# CONFIG_SECCOMP 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_HARDLOCKUP_DETECTOR=y
CONFIG_BOOTPARAM_HARDLOCKUP_PANIC=y
CONFIG_BOOTPARAM_HARDLOCKUP_ENABLED=y
# CONFIG_K8_NUMA is not set
CONFIG_AMD_NUMA=y
CONFIG_XEN_MAX_DOMAIN_MEMORY=128
# CONFIG_EDAC_MCE_INJ is not set
# CONFIG_DEBUG_FORCE_WEAK_PER_CPU is not set
CONFIG_I2C_ISMT=m
CONFIG_LPC_SCH=m
CONFIG_GPIOLIB=y
#CONFIG_MFD_SM501_GPIO is not set
CONFIG_GPIO_SCH=m
CONFIG_IE6XX_WDT=m
# CONFIG_MDIO_GPIO is not set
# CONFIG_KEYBOARD_GPIO is not set
# CONFIG_MOUSE_GPIO is not set
# CONFIG_I2C_GPIO is not set
# CONFIG_DEBUG_GPIO is not set
# CONFIG_GPIO_SYSFS is not set
# CONFIG_GPIO_MAX732X is not set
# CONFIG_GPIO_PCA953X is not set
# CONFIG_GPIO_PCF857X is not set
# CONFIG_GPIO_WM831X is not set
# CONFIG_UCB1400_CORE is not set
# CONFIG_USB_GPIO_VBUS is not set
# CONFIG_LEDS_GPIO is not set
# CONFIG_LEDS_TRIGGER_GPIO is not set
CONFIG_HYPERV=m
CONFIG_HYPERV_UTILS=m
CONFIG_HYPERV_MOUSE=m
CONFIG_HYPERV_STORAGE=m
CONFIG_HYPERV_NET=m
CONFIG_HYPERV_BALLOON=m