6 CONFIG_DRM_RADEON_KMS=y
13 CONFIG_DMAR_FLOPPY_WA=y
14 CONFIG_DMAR_BROKEN_GFX_WA=y
15 CONFIG_THINKPAD_ACPI=m
16 CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y
17 CONFIG_THINKPAD_ACPI_VIDEO=y
18 CONFIG_MEMORY_HOTPLUG=y
19 CONFIG_ACPI_HOTPLUG_MEMORY=y
20 CONFIG_ACPI_HOTPLUG_CPU=y
21 CONFIG_MEMORY_HOTPLUG_SPARSE=y
22 CONFIG_DEBUG_NMI_TIMEOUT=30
25 CONFIG_INTEL_IOATDMA=m
31 CONFIG_HIGH_RES_TIMERS=y
32 CONFIG_HOTPLUG_PCI_PCIE=y
36 CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE=y
38 CONFIG_KEXEC_AUTO_RESERVE=y
42 CONFIG_X86_MCE_INJECT=m
43 CONFIG_TRACK_DIRTY_PAGES=y
44 CONFIG_OPROFILE_EVENT_MULTIPLEX=y
45 CONFIG_FRAME_POINTER=y
46 CONFIG_FUNCTION_TRACER=y
47 CONFIG_FUNCTION_GRAPH_TRACER=y
49 CONFIG_FUNCTION_PROFILER=y
50 CONFIG_DYNAMIC_FTRACE=y
52 CONFIG_ACPI_HOTPLUG_MEMORY_AUTO_ONLINE=y
53 CONFIG_XEN_PLATFORM_PCI=y
54 CONFIG_VMWARE_BALLOON=m
55 CONFIG_X86_PCC_CPUFREQ=m
57 CONFIG_INFINIBAND_QIB=m
61 CONFIG_HPWDT_NMI_DECODING=y
64 CONFIG_SENSORS_FAM15H_POWER=m
66 # CONFIG_DMAR_DEFAULT_ON is not set
67 # CONFIG_HOTPLUG_PCI_PCIE_POLL_EVENT_MODE is not set
68 # CONFIG_MEMORY_HOTREMOVE is not set
69 # CONFIG_SND_ES18XX is not set
70 # CONFIG_CALGARY_IOMMU_ENABLED_BY_DEFAULT is not set
71 # CONFIG_UV_MMTIMER is not set
72 # CONFIG_CPU_SUP_CENTAUR is not set
73 # CONFIG_X86_CPU_DEBUG is not set
74 # CONFIG_CAPI_EICON is not set
75 # CONFIG_SECCOMP is not set
76 # CONFIG_I2O is not set
77 # CONFIG_I2O_BLOCK is not set
78 # CONFIG_I2O_SCSI is not set
79 # CONFIG_I2O_PROC is not set
80 # CONFIG_I2O_CONFIG is not set
81 # CONFIG_I2O_EXT_ADAPTEC is not set
82 # CONFIG_I2O_EXT_ADAPTEC_DMA64 is not set
83 # CONFIG_I2O_CONFIG_OLD_IOCTL is not set
84 # CONFIG_I2O_BUS is not set
85 CONFIG_HARDLOCKUP_DETECTOR=y
86 CONFIG_BOOTPARAM_HARDLOCKUP_PANIC=y
87 CONFIG_BOOTPARAM_HARDLOCKUP_ENABLED=y
88 # CONFIG_K8_NUMA is not set
90 CONFIG_XEN_MAX_DOMAIN_MEMORY=128
91 # CONFIG_EDAC_MCE_INJ is not set
92 # CONFIG_DEBUG_FORCE_WEAK_PER_CPU is not set
97 #CONFIG_MFD_SM501_GPIO is not set
100 # CONFIG_MDIO_GPIO is not set
101 # CONFIG_KEYBOARD_GPIO is not set
102 # CONFIG_MOUSE_GPIO is not set
103 # CONFIG_I2C_GPIO is not set
104 # CONFIG_DEBUG_GPIO is not set
105 # CONFIG_GPIO_SYSFS is not set
106 # CONFIG_GPIO_MAX732X is not set
107 # CONFIG_GPIO_PCA953X is not set
108 # CONFIG_GPIO_PCF857X is not set
109 # CONFIG_GPIO_WM831X is not set
110 # CONFIG_UCB1400_CORE is not set
111 # CONFIG_USB_GPIO_VBUS is not set
112 # CONFIG_LEDS_GPIO is not set
113 # CONFIG_LEDS_TRIGGER_GPIO is not set
115 CONFIG_HYPERV_UTILS=m
116 CONFIG_HYPERV_MOUSE=m
117 CONFIG_HYPERV_STORAGE=m
119 CONFIG_HYPERV_BALLOON=m
120 CONFIG_X86_INTEL_PSTATE=m
123 CONFIG_BLK_DEV_NVME=m