diff --git a/target/linux/x86/config-4.9 b/target/linux/x86/config-4.9
index 402c5fddd..e44536b2b 100644
--- a/target/linux/x86/config-4.9
+++ b/target/linux/x86/config-4.9
@@ -1,6 +1,6 @@
 # CONFIG_60XX_WDT is not set
 # CONFIG_64BIT is not set
-# CONFIG_ACPI is not set
+CONFIG_ACPI=y
 # CONFIG_ACQUIRE_WDT is not set
 # CONFIG_ADVANTECH_WDT is not set
 # CONFIG_ALIM1535_WDT is not set
@@ -49,6 +49,8 @@ CONFIG_ATA_GENERIC=y
 CONFIG_ATA_PIIX=y
 CONFIG_BINFMT_MISC=y
 CONFIG_BLK_DEV_LOOP=y
+CONFIG_BLK_DEV_NVME=y
+CONFIG_BLK_DEV_NVME_SCSI=y
 CONFIG_BLK_DEV_SD=y
 CONFIG_BLK_MQ_PCI=y
 CONFIG_BOUNCE=y
@@ -226,6 +228,7 @@ CONFIG_HPET_TIMER=y
 # CONFIG_HP_WATCHDOG is not set
 CONFIG_HT_IRQ=y
 # CONFIG_HUGETLBFS is not set
+CONFIG_HWMON=y
 CONFIG_HW_CONSOLE=y
 CONFIG_HW_RANDOM=y
 CONFIG_HW_RANDOM_GEODE=y
@@ -243,6 +246,8 @@ CONFIG_INITRAMFS_SOURCE=""
 CONFIG_INPUT=y
 CONFIG_INPUT_KEYBOARD=y
 CONFIG_INSTRUCTION_DECODER=y
+CONFIG_INTEL_IDLE=y
+CONFIG_INTEL_MEI=y
 # CONFIG_INTEL_PCH_THERMAL is not set
 # CONFIG_INTEL_POWERCLAMP is not set
 # CONFIG_INTEL_SOC_DTS_THERMAL is not set
@@ -320,7 +325,7 @@ CONFIG_NEED_SG_DMA_LENGTH=y
 CONFIG_NLS=y
 # CONFIG_NOHIGHMEM is not set
 CONFIG_NO_BOOTMEM=y
-CONFIG_NR_CPUS=1
+CONFIG_NR_CPUS=8
 # CONFIG_NSC_GPIO is not set
 CONFIG_NVRAM=y
 # CONFIG_OF is not set
@@ -330,6 +335,8 @@ CONFIG_OPROFILE_NMI_TIMER=y
 # CONFIG_OPTIMIZE_INLINING is not set
 CONFIG_OUTPUT_FORMAT="elf32-i386"
 CONFIG_PAGE_OFFSET=0xC0000000
+CONFIG_PATA_MPIIX=y
+CONFIG_PATA_OLDPIIX=y
 # CONFIG_PC8736x_GPIO is not set
 # CONFIG_PC87413_WDT is not set
 CONFIG_PCI=y
@@ -365,17 +372,29 @@ CONFIG_RD_GZIP=y
 CONFIG_RTC_CLASS=y
 CONFIG_RTC_MC146818_LIB=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
+CONFIG_SATA_AHCI=y
+CONFIG_SATA_AHCI_PLATFORM=y
+CONFIG_SATA_MV=y
+CONFIG_SATA_PMP=y
 # 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_SCHED_INFO is not set
+CONFIG_SCHED_MC=y
+CONFIG_SCHED_SMT=y
 CONFIG_SCSI=y
+CONFIG_SCSI_BUSLOGIC=y
 CONFIG_SCSI_SPI_ATTRS=y
 CONFIG_SCx200=y
 CONFIG_SCx200HR_TIMER=y
 # CONFIG_SCx200_GPIO is not set
 # CONFIG_SCx200_WDT is not set
+CONFIG_SENSORS_CORETEMP=y
+CONFIG_SENSORS_FAM15H_POWER=y
+CONFIG_SENSORS_K10TEMP=y
+CONFIG_SENSORS_K8TEMP=y
+CONFIG_SENSORS_VIA_CPUTEMP=y
 # CONFIG_SERIAL_8250_FSL is not set
 CONFIG_SERIAL_8250_PCI=y
 CONFIG_SERIO=y
@@ -384,6 +403,7 @@ CONFIG_SERIO_I8042=y
 CONFIG_SERIO_LIBPS2=y
 CONFIG_SERIO_SERPORT=y
 CONFIG_SG_POOL=y
+CONFIG_SMP=y
 # CONFIG_SMSC37B787_WDT is not set
 # CONFIG_SMSC_SCH311X_WDT is not set
 CONFIG_SPARSEMEM_STATIC=y
@@ -409,8 +429,10 @@ CONFIG_USB_HID=y
 CONFIG_USB_HIDDEV=y
 CONFIG_USB_OHCI_HCD=y
 # CONFIG_USB_OHCI_HCD_PLATFORM is not set
+CONFIG_USB_STORAGE=y
 CONFIG_USB_SUPPORT=y
 CONFIG_USB_UHCI_HCD=y
+CONFIG_USB_XHCI_HCD=y
 # CONFIG_USERIO is not set
 # CONFIG_USER_NS is not set
 CONFIG_USER_STACKTRACE_SUPPORT=y
@@ -418,7 +440,8 @@ CONFIG_USER_STACKTRACE_SUPPORT=y
 CONFIG_VGA_CONSOLE=y
 # CONFIG_VIA_WDT is not set
 # CONFIG_VM86 is not set
-# CONFIG_VMWARE_VMCI is not set
+CONFIG_VMWARE_PVSCSI=y
+CONFIG_VMWARE_VMCI=y
 CONFIG_VM_EVENT_COUNTERS=y
 CONFIG_VT=y
 CONFIG_VT_CONSOLE=y