CONFIG_THINKPAD_ACPI_VIDEO=y
CONFIG_MEMORY_HOTPLUG=y
CONFIG_ACPI_HOTPLUG_MEMORY=y
+CONFIG_ACPI_HOTPLUG_CPU=y
CONFIG_MEMORY_HOTPLUG_SPARSE=y
CONFIG_DEBUG_NMI_TIMEOUT=30
CONFIG_CRASH=y
CONFIG_X86_PCC_CPUFREQ=m
CONFIG_INTEL_IDLE=y
CONFIG_INFINIBAND_QIB=m
+CONFIG_INFINIBAND_QIB_DCA=y
CONFIG_INTEL_IPS=m
CONFIG_INTEL_TXT=y
CONFIG_HP_WATCHDOG=m
CONFIG_IB700_WDT=m
CONFIG_HPET_MMAP=y
CONFIG_SENSORS_FAM15H_POWER=m
+CONFIG_BLK_DEV_RSXX=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_DEBUG_FORCE_WEAK_PER_CPU is not set
CONFIG_I2C_ISMT=m
CONFIG_LPC_SCH=m
+CONFIG_LPC_ICH=m
CONFIG_GPIOLIB=y
#CONFIG_MFD_SM501_GPIO is not set
CONFIG_GPIO_SCH=m
CONFIG_HYPERV_STORAGE=m
CONFIG_HYPERV_NET=m
CONFIG_HYPERV_BALLOON=m
+CONFIG_X86_INTEL_PSTATE=m
+CONFIG_PVPANIC=y
+CONFIG_FB_HYPERV=m
+CONFIG_HYPERV_KEYBOARD=m
+CONFIG_BLK_DEV_NVME=m
+CONFIG_INTEL_POWERCLAMP=m
+CONFIG_EARLY_PRINTK_EFI=y
+CONFIG_POWERCAP=y
+CONFIG_INTEL_RAPL=m
+CONFIG_ACPI_EXTLOG=m
+CONFIG_CRYPTO_CRCT10DIF_PCLMUL=y