CONFIG_UID16=y

CONFIG_X86_EXTENDED_PLATFORM=y

CONFIG_X86_GENERIC=y

# CONFIG_X86_LEGACY_VM86 is not set

CONFIG_HPET=y

CONFIG_HPET_TIMER=y

# CONFIG_HPET_MMAP is not set

CONFIG_I8K=m

CONFIG_SONYPI_COMPAT=y

CONFIG_MICROCODE=y

CONFIG_MICROCODE_INTEL=y

CONFIG_MICROCODE_AMD=y

CONFIG_PERF_EVENTS_AMD_POWER=m

CONFIG_X86_MSR=y

CONFIG_X86_CPUID=y

CONFIG_EDD=m

# CONFIG_EDD_OFF is not set

CONFIG_PNP=y

# CONFIG_PNP_DEBUG_MESSAGES is not set

# CONFIG_NET_SB1000 is not set

CONFIG_MTRR=y

CONFIG_MTRR_SANITIZER=y

CONFIG_MTRR_SANITIZER_ENABLE_DEFAULT=0

CONFIG_MTRR_SANITIZER_SPARE_REG_NR_DEFAULT=1

CONFIG_X86_PAT=y

CONFIG_X86_PM_TIMER=y

CONFIG_X86_INTEL_MPX=y

CONFIG_EFI=y

CONFIG_EFI_STUB=y

# CONFIG_EFI_VARS is not set

CONFIG_EFIVAR_FS=y

# CONFIG_EFI_VARS_PSTORE is not set

# CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set

CONFIG_EFI_PCDP=y

CONFIG_FB_EFI=y

CONFIG_EARLY_PRINTK_EFI=y

CONFIG_EFI_RUNTIME_MAP=y

# CONFIG_EFI_FAKE_MEMMAP is not set

# needs FB_SIMPLE to work correctly

# CONFIG_X86_SYSFB is not set

# FIXME: 32bit only?

# CONFIG_FB_N411 is not set

CONFIG_INTEL_IOMMU=y

CONFIG_INTEL_IOMMU_FLOPPY_WA=y

# CONFIG_INTEL_IOMMU_DEFAULT_ON is not set

CONFIG_INTEL_IOMMU_SVM=y

CONFIG_SCSI_ADVANSYS=m

CONFIG_CAPI_EICON=y

#

# Kernel debugging

#

CONFIG_X86_MPPARSE=y

# CONFIG_X86_VERBOSE_BOOTUP is not set

CONFIG_MMIOTRACE=y

# CONFIG_MMIOTRACE_TEST is not set

# CONFIG_DEBUG_PER_CPU_MAPS is not set

CONFIG_DEBUG_WX=y

CONFIG_DEBUG_STACKOVERFLOW=y

CONFIG_ACPI=y

CONFIG_ACPI_AC=y

CONFIG_ACPI_BATTERY=y

CONFIG_ACPI_BUTTON=y

CONFIG_ACPI_CONTAINER=y

CONFIG_ACPI_DOCK=y

CONFIG_ACPI_FAN=y

CONFIG_ACPI_NUMA=y

CONFIG_ACPI_PROCESSOR=y

CONFIG_ACPI_PROCFS=y

CONFIG_ACPI_SBS=m

CONFIG_ACPI_SLEEP=y

CONFIG_ACPI_THERMAL=y

CONFIG_ACPI_TOSHIBA=m

CONFIG_ACPI_VIDEO=m

CONFIG_ACPI_INITRD_TABLE_OVERRIDE=y

# FIXME: Next two are deprecated. Remove them when they disappear upstream

# CONFIG_ACPI_PROCFS_POWER is not set

CONFIG_PNPACPI=y

CONFIG_ACPI_PROCESSOR_AGGREGATOR=m

CONFIG_ACPI_HED=m

CONFIG_ACPI_APEI=y

CONFIG_ACPI_APEI_PCIEAER=y

CONFIG_ACPI_APEI_GHES=y

CONFIG_ACPI_APEI_MEMORY_FAILURE=y

# CONFIG_ACPI_APEI_EINJ is not set

CONFIG_ACPI_IPMI=m

CONFIG_ACPI_CUSTOM_METHOD=m

CONFIG_ACPI_BGRT=y

# CONFIG_ACPI_EXTLOG is not set

# CONFIG_ACPI_REV_OVERRIDE_POSSIBLE is not set

CONFIG_INTEL_SOC_PMIC=y

CONFIG_PMIC_OPREGION=y

CONFIG_CRC_PMIC_OPREGION=y

CONFIG_XPOWER_PMIC_OPREGION=y

CONFIG_GPIO_CRYSTAL_COVE=y

CONFIG_AXP288_ADC=y

CONFIG_AXP288_FUEL_GAUGE=y

# CONFIG_PWM_CRC is not set

CONFIG_X86_INTEL_PSTATE=y

CONFIG_X86_ACPI_CPUFREQ=m

CONFIG_X86_ACPI_CPUFREQ_CPB=y

CONFIG_X86_PCC_CPUFREQ=m

CONFIG_X86_POWERNOW_K8=m

CONFIG_X86_AMD_FREQ_SENSITIVITY=m

CONFIG_X86_P4_CLOCKMOD=m

# CONFIG_X86_SPEEDSTEP_CENTRINO is not set

#

# various x86 specific drivers

#

CONFIG_NVRAM=y

CONFIG_CRYPTO_DEV_PADLOCK=m

CONFIG_CRYPTO_DEV_PADLOCK_AES=m

CONFIG_CRYPTO_DEV_PADLOCK_SHA=m

CONFIG_CRYPTO_DEV_CCP=y

CONFIG_CRYPTO_DEV_CCP_DD=m

CONFIG_CRYPTO_DEV_CCP_CRYPTO=m

CONFIG_CRYPTO_DEV_QAT_DH895xCC=m

CONFIG_CRYPTO_DEV_QAT_DH895xCCVF=m

CONFIG_CRYPTO_DEV_QAT_C3XXX=m

CONFIG_CRYPTO_DEV_QAT_C62X=m

CONFIG_CRYPTO_DEV_QAT_C3XXXVF=m

CONFIG_CRYPTO_DEV_QAT_C62XVF=m

CONFIG_GENERIC_ISA_DMA=y

CONFIG_PCI_MMCONFIG=y

CONFIG_PCI_BIOS=y

CONFIG_VMD=m

CONFIG_HOTPLUG_PCI_COMPAQ=m

# CONFIG_HOTPLUG_PCI_COMPAQ_NVRAM is not set

CONFIG_HOTPLUG_PCI_IBM=m

CONFIG_IPW2100=m

CONFIG_IPW2100_MONITOR=y

CONFIG_IPW2200=m

CONFIG_IPW2200_MONITOR=y

CONFIG_IPW2200_RADIOTAP=y

CONFIG_IPW2200_PROMISCUOUS=y

CONFIG_IPW2200_QOS=y

CONFIG_BLK_DEV_AMD74XX=y

# I2C_ACPI casues I2C to be built in.  This should probably be fixed.

CONFIG_I2C=y

CONFIG_ACPI_I2C_OPREGION=y

CONFIG_I2C_AMD756=m

CONFIG_I2C_AMD756_S4882=m

CONFIG_I2C_AMD8111=m

CONFIG_I2C_I801=m

CONFIG_I2C_ISCH=m

CONFIG_I2C_ISMT=m

CONFIG_I2C_NFORCE2=m

CONFIG_I2C_NFORCE2_S4985=m

CONFIG_I2C_PIIX4=m

CONFIG_I2C_SIS96X=m

CONFIG_I2C_VIA=m

CONFIG_I2C_VIAPRO=m

CONFIG_I2C_DESIGNWARE_CORE=m

CONFIG_I2C_DESIGNWARE_PLATFORM=m

CONFIG_I2C_DESIGNWARE_BAYTRAIL=y

#rhbz 997149

# CONFIG_DELL_RBU is not set

CONFIG_DCDBAS=m

CONFIG_EDAC=y

CONFIG_EDAC_MM_EDAC=m

# CONFIG_EDAC_AMD64_ERROR_INJECTION is not set

CONFIG_EDAC_AMD64=m

CONFIG_EDAC_AMD76X=m

CONFIG_EDAC_AMD8111=m

CONFIG_EDAC_AMD8131=m

CONFIG_EDAC_E7XXX=m

CONFIG_EDAC_E752X=m

CONFIG_EDAC_I82860=m

CONFIG_EDAC_I82875P=m

CONFIG_EDAC_I82975X=m

CONFIG_EDAC_I3000=m

CONFIG_EDAC_I3200=m

CONFIG_EDAC_I5000=m

CONFIG_EDAC_I5100=m

CONFIG_EDAC_I5400=m

CONFIG_EDAC_I7300=m

CONFIG_EDAC_I7CORE=m

CONFIG_EDAC_R82600=m

CONFIG_EDAC_X38=m

CONFIG_EDAC_DECODE_MCE=m

CONFIG_EDAC_LEGACY_SYSFS=y

CONFIG_EDAC_IE31200=m

CONFIG_SCHED_MC=y

CONFIG_TCG_INFINEON=m

CONFIG_TCG_CRB=m

CONFIG_HW_RANDOM_INTEL=m

CONFIG_HW_RANDOM_AMD=m

CONFIG_HW_RANDOM_VIA=m

# CONFIG_COMPAT_VDSO is not set

CONFIG_X86_PLATFORM_DEVICES=y

CONFIG_AMILO_RFKILL=m

CONFIG_ASUS_LAPTOP=m

CONFIG_ASUS_WIRELESS=m

CONFIG_COMPAL_LAPTOP=m

CONFIG_DELL_SMBIOS=m

CONFIG_DELL_LAPTOP=m

CONFIG_DELL_RBTN=m

CONFIG_CHROMEOS_LAPTOP=m

CONFIG_CHROMEOS_PSTORE=m

CONFIG_EEEPC_LAPTOP=m

CONFIG_FUJITSU_TABLET=m

CONFIG_FUJITSU_LAPTOP=m

# CONFIG_FUJITSU_LAPTOP_DEBUG is not set

CONFIG_IDEAPAD_LAPTOP=m

CONFIG_INTEL_HID_EVENT=m

CONFIG_MSI_LAPTOP=m

CONFIG_PANASONIC_LAPTOP=m

CONFIG_SAMSUNG_LAPTOP=m

CONFIG_SONY_LAPTOP=m

CONFIG_TOPSTAR_LAPTOP=m

CONFIG_ACPI_WMI=m

CONFIG_ACER_WMI=m

CONFIG_ACERHDF=m

CONFIG_ALIENWARE_WMI=m

CONFIG_ASUS_WMI=m

CONFIG_ASUS_NB_WMI=m

CONFIG_HP_WIRELESS=m

CONFIG_HP_WMI=m

# CONFIG_INTEL_SCU_IPC is not set

# CONFIG_INTEL_PMC_IPC is not set

CONFIG_DELL_WMI=m

CONFIG_DELL_WMI_AIO=m

CONFIG_DELL_SMO8800=m

CONFIG_EEEPC_WMI=m

CONFIG_INTEL_OAKTRAIL=m

CONFIG_SAMSUNG_Q10=m

CONFIG_APPLE_GMUX=m

CONFIG_XO15_EBOOK=m

CONFIG_INTEL_RST=m

CONFIG_INTEL_SMARTCONNECT=y

CONFIG_PVPANIC=m

# CONFIG_TOUCHSCREEN_INTEL_MID is not set

CONFIG_TOUCHSCREEN_GOODIX=m

# CONFIG_SMSC37B787_WDT is not set

CONFIG_VIA_WDT=m

CONFIG_IE6XX_WDT=m

CONFIG_PROC_VMCORE=y

CONFIG_KVM=m

CONFIG_KVM_INTEL=m

CONFIG_KVM_AMD=m

CONFIG_KVM_DEVICE_ASSIGNMENT=y

CONFIG_LGUEST=m

CONFIG_LGUEST_GUEST=y

CONFIG_HYPERVISOR_GUEST=y

CONFIG_PARAVIRT=y

CONFIG_PARAVIRT_TIME_ACCOUNTING=y

# CONFIG_PARAVIRT_DEBUG is not set

# PARAVIRT_SPINLOCKS has a 5% perf hit on native hw (see kconfig)

# CONFIG_PARAVIRT_SPINLOCKS is not set

CONFIG_KVM_GUEST=y

CONFIG_KVM_MMU_AUDIT=y # default $x would be nice...

# CONFIG_KVM_DEBUG_FS is not set

CONFIG_XEN=y

# CONFIG_XEN_DEBUG is not set

CONFIG_XEN_BALLOON=y

CONFIG_XEN_SCRUB_PAGES=y

CONFIG_XEN_SAVE_RESTORE=y

CONFIG_HVC_XEN=y

CONFIG_HVC_XEN_FRONTEND=y

CONFIG_XEN_FBDEV_FRONTEND=y

CONFIG_XEN_BLKDEV_FRONTEND=m

CONFIG_XEN_NETDEV_FRONTEND=m

CONFIG_XEN_NETDEV_BACKEND=m

CONFIG_XEN_WDT=m

CONFIG_XEN_GRANT_DEV_ALLOC=m

CONFIG_XEN_PCIDEV_FRONTEND=m

CONFIG_XENFS=m

CONFIG_XEN_COMPAT_XENFS=y

CONFIG_XEN_BACKEND=y

CONFIG_XEN_BLKDEV_BACKEND=m

CONFIG_XEN_DEBUG_FS=y

CONFIG_XEN_GNTDEV=m

CONFIG_INPUT_XEN_KBDDEV_FRONTEND=m

CONFIG_XEN_SELFBALLOONING=y

CONFIG_XEN_PCIDEV_BACKEND=m

CONFIG_XEN_ACPI_PROCESSOR=m

# CONFIG_XEN_SCSI_FRONTEND is not set

# CONFIG_XEN_SCSI_BACKEND is not set

CONFIG_XEN_SYMS=y

CONFIG_SPI=y

CONFIG_SPI_MASTER=y

CONFIG_SPI_PXA2XX=m

# CONFIG_SPI_CADENCE is not set

# CONFIG_SPI_ZYNQMP_GQSPI is not set

# CONFIG_DRM_PANEL_SAMSUNG_LD9040 is not set

# CONFIG_DRM_PANEL_LG_LG4573 is not set

# CONFIG_DRM_PANEL_PANASONIC_VVX10F034N00 is not set

CONFIG_MTD_ESB2ROM=m

CONFIG_MTD_CK804XROM=m

CONFIG_CPU_IDLE=y

# CONFIG_CPU_IDLE_MULTIPLE_DRIVERS is not set

# CONFIG_CPU_IDLE_GOV_LADDER is not set

CONFIG_CPU_IDLE_GOV_MENU=y

CONFIG_THINKPAD_ACPI=m

# CONFIG_THINKPAD_ACPI_DEBUG is not set

# CONFIG_THINKPAD_ACPI_DEBUGFACILITIES is not set

CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y

CONFIG_THINKPAD_ACPI_VIDEO=y

CONFIG_THINKPAD_ACPI_ALSA_SUPPORT=y

# CONFIG_THINKPAD_ACPI_UNSAFE_LEDS is not set

CONFIG_MACINTOSH_DRIVERS=y

CONFIG_DMIID=y

CONFIG_DMI_SYSFS=y

CONFIG_ISCSI_IBFT_FIND=y

CONFIG_ISCSI_IBFT=m

CONFIG_DMADEVICES=y

CONFIG_INTEL_IOATDMA=m

CONFIG_INTEL_IDMA64=m

CONFIG_SENSORS_I5K_AMB=m

CONFIG_SENSORS_FAM15H_POWER=m

CONFIG_SENSORS_ACPI_POWER=m

CONFIG_SENSORS_I5500=m

CONFIG_SENSORS_DELL_SMM=m

# CONFIG_CPA_DEBUG is not set

CONFIG_HP_WATCHDOG=m

CONFIG_NV_TCO=m

CONFIG_SP5100_TCO=m

# CONFIG_NO_BOOTMEM is not set

# CONFIG_MEMTEST is not set

# CONFIG_DEBUG_TLBFLUSH is not set

CONFIG_MAXSMP=y

CONFIG_HP_ILO=m

CONFIG_BACKLIGHT_APPLE=m

CONFIG_X86_PMEM_LEGACY=y

CONFIG_X86_CHECK_BIOS_CORRUPTION=y

# CONFIG_CMDLINE_BOOL is not set

CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y

# CONFIG_IOMMU_STRESS is not set

CONFIG_X86_MCE=y

CONFIG_X86_MCE_INTEL=y

CONFIG_X86_MCE_AMD=y

CONFIG_X86_MCE_INJECT=m

CONFIG_SFI=y

CONFIG_I2C_SCMI=m

CONFIG_SBC_FITPC2_WATCHDOG=m

CONFIG_X86_DECODER_SELFTEST=y

CONFIG_ACPI_CMPC=m

CONFIG_MSI_WMI=m

CONFIG_TOSHIBA_BT_RFKILL=m

CONFIG_TOSHIBA_HAPS=m

CONFIG_TOSHIBA_WMI=m

CONFIG_VGA_SWITCHEROO=y

CONFIG_LPC_SCH=m

CONFIG_LPC_ICH=m

CONFIG_GPIO_ICH=m

# CONFIG_GPIO_LYNXPOINT is not set

# CONFIG_GPIO_F7188X is not set

# CONFIG_GPIO_104_IDI_48 is not set

# These should all go away with IC2_ACPI is fixed

# CONFIG_MFD_AS3711 is not set

# CONFIG_PMIC_ADP5520 is not set

# CONFIG_MFD_AAT2870_CORE is not set

# CONFIG_MFD_AXP20X is not set

# CONFIG_PMIC_DA903X is not set

# CONFIG_MFD_DA9052_I2C is not set

# CONFIG_MFD_DA9055 is not set

# CONFIG_MFD_88PM800 is not set

# CONFIG_MFD_88PM805 is not set

# CONFIG_MFD_MAX14577 is not set

# CONFIG_MFD_MAX77686 is not set

# CONFIG_MFD_MAX77693 is not set

# CONFIG_MFD_MAX8907 is not set

# CONFIG_MFD_MAX8997 is not set

# CONFIG_MFD_RC5T583 is not set

# CONFIG_MFD_SEC_CORE is not set

# CONFIG_MFD_SMSC is not set

# CONFIG_MFD_LP8788 is not set

# CONFIG_MFD_PALMAS is not set

# CONFIG_MFD_TPS65090 is not set

# CONFIG_MFD_TPS65910 is not set

# CONFIG_MFD_TPS65912_I2C is not set

# CONFIG_MFD_TPS80031 is not set

# CONFIG_TWL4030_CORE is not set

# CONFIG_TWL6040_CORE is not set

CONFIG_PCI_CNB20LE_QUIRK=y

CONFIG_ACPI_EC_DEBUGFS=m

# CONFIG_ACPI_APEI_ERST_DEBUG is not set

CONFIG_INTEL_IDLE=y

# CONFIG_TOUCHSCREEN_CY8CTMG110 is not set

CONFIG_F71808E_WDT=m

CONFIG_HPWDT_NMI_DECODING=y

# CONFIG_MFD_TPS6586X is not set

# CONFIG_GPIO_INTEL_MID is not set

CONFIG_PCH_DMA=m

CONFIG_INTEL_IPS=m

# CONFIG_IBM_RTL is not set

CONFIG_VIDEO_VIA_CAMERA=m

CONFIG_IRQ_TIME_ACCOUNTING=y

CONFIG_X86_RESERVE_LOW=64

# CONFIG_IRQ_DOMAIN_DEBUG is not set

CONFIG_PCH_GBE=m

CONFIG_PCH_PHUB=m

CONFIG_CRYPTO_AES_NI_INTEL=y

CONFIG_CRYPTO_SERPENT_SSE2_586=m

CONFIG_CRYPTO_CRC32_PCLMUL=m

CONFIG_HP_ACCEL=m

CONFIG_SURFACE_PRO3_BUTTON=m

CONFIG_INTEL_PUNIT_IPC=m

# CONFIG_RAPIDIO is not set

CONFIG_SCHED_SMT=y

CONFIG_CC_STACKPROTECTOR=y

CONFIG_CC_STACKPROTECTOR_STRONG=y

CONFIG_RELOCATABLE=y

CONFIG_RANDOMIZE_BASE=y

CONFIG_HYPERV=m

CONFIG_HYPERV_UTILS=m

CONFIG_HID_HYPERV_MOUSE=m

CONFIG_HYPERV_NET=m

CONFIG_HYPERV_STORAGE=m

CONFIG_HYPERV_BALLOON=m

CONFIG_FB_HYPERV=m

CONFIG_HYPERV_KEYBOARD=m

# This is x86_64 only, but we'll lump it here anyway

CONFIG_PCI_HYPERV=m

# Depends on HOTPLUG_PCI_PCIE

CONFIG_BLK_DEV_PCIESSD_MTIP32XX=m

CONFIG_DRM_GMA500=m

# CONFIG_DRM_GMA600 is not set

CONFIG_DRM_GMA3600=y

CONFIG_RCU_FANOUT_LEAF=16

CONFIG_INTEL_MEI=m

CONFIG_INTEL_MEI_ME=m

CONFIG_INTEL_MEI_TXE=m

CONFIG_INTEL_MEI_WDT=m

CONFIG_NFC_MEI_PHY=m

CONFIG_NFC_PN544_MEI=m

CONFIG_NFC_MICROREAD_MEI=m

# Maybe enable in debug kernels?

# CONFIG_DEBUG_ENTRY is not set

# CONFIG_DEBUG_NMI_SELFTEST is not set

# CONFIG_X86_GOLDFISH is not set

CONFIG_X86_INTEL_LPSS=y

CONFIG_IDMA64=m

# CONFIG_X86_AMD_PLATFORM_DEVICE is not set

# CONFIG_X86_INTEL_MID is not set

# CONFIG_MFD_INTEL_QUARK_I2C_GPIO is not set

CONFIG_MFD_INTEL_LPSS_ACPI=m

CONFIG_MFD_INTEL_LPSS_PCI=m

CONFIG_IOSF_MBI=m

# CONFIG_IOSF_MBI_DEBUG is not set

CONFIG_PWM_LPSS=m

CONFIG_PWM_LPSS_PCI=m

CONFIG_PWM_LPSS_PLATFORM=m

CONFIG_PINCTRL=y

CONFIG_PINCTRL_BAYTRAIL=y

CONFIG_PINCTRL_CHERRYVIEW=y

# CONFIG_PINCTRL_AMD is not set

CONFIG_PINCTRL_SUNRISEPOINT=m

CONFIG_PINCTRL_BROXTON=m

# I have no idea why this is x86-specific

CONFIG_E1000E_HWTS=y

#baytrail/cherrytrail stuff

CONFIG_KEYBOARD_GPIO=m

CONFIG_INPUT_SOC_BUTTON_ARRAY=m

CONFIG_SND_SOC_INTEL_SST=m

CONFIG_SND_SOC_INTEL_SST_ACPI=m

CONFIG_SND_SOC_INTEL_HASWELL_MACH=m

CONFIG_SND_SOC_INTEL_BROADWELL_MACH=m

CONFIG_SND_SOC_INTEL_BAYTRAIL=m

CONFIG_SND_SOC_INTEL_BYT_RT5640_MACH=m

CONFIG_SND_SOC_INTEL_BYTCR_RT5651_MACH=m

CONFIG_SND_SOC_INTEL_BYT_MAX98090_MACH=m

CONFIG_SND_SOC_INTEL_BYTCR_RT5640_MACH=m

CONFIG_SND_SOC_INTEL_CHT_BSW_RT5672_MACH=m

CONFIG_SND_SOC_INTEL_CHT_BSW_RT5645_MACH=m

CONFIG_SND_SOC_INTEL_CHT_BSW_MAX98090_TI_MACH=m

CONFIG_SND_SOC_INTEL_SKL_RT286_MACH=m

CONFIG_SND_SOC_INTEL_SKL_NAU88L25_SSM4567_MACH=m

CONFIG_SND_SOC_INTEL_SKL_NAU88L25_MAX98357A_MACH=m

CONFIG_SND_SOC_AC97_CODEC=m

# CONFIG_SND_SOC_TAS571X is not set

# CONFIG_SND_SUN4I_CODEC is not set

# CONFIG_SND_SUN4I_SPDIF is not set

# CONFIG_INTEL_POWERCLAMP is not set

CONFIG_X86_PKG_TEMP_THERMAL=m

CONFIG_INTEL_SOC_DTS_THERMAL=m

CONFIG_INT340X_THERMAL=m

CONFIG_INTEL_RAPL=m

CONFIG_INTEL_PCH_THERMAL=m

CONFIG_VMWARE_VMCI=m

CONFIG_VMWARE_VMCI_VSOCKETS=m

CONFIG_MOUSE_PS2_VMMOUSE=y

CONFIG_XZ_DEC_X86=y

CONFIG_MPILIB=y

CONFIG_EFI_SECURE_BOOT_SIG_ENFORCE=y

CONFIG_EFI_SIGNATURE_LIST_PARSER=y

# CONFIG_KEXEC_FILE is not set

# CONFIG_KEXEC_VERIFY_SIG is not set

CONFIG_MODULE_SIG_UEFI=y

CONFIG_VMXNET3=m

CONFIG_FUJITSU_ES=m

CONFIG_VFIO_PCI_VGA=y

CONFIG_PCH_CAN=m

# CONFIG_X86_DEBUG_FPU is not set

# CONFIG_PUNIT_ATOM_DEBUG is not set

# CONFIG_AMD_MCE_INJ is not set