# CONFIG_SCHED_MC_PRIO is not set
# CONFIG_CPU_FREQ is not set
+# CONFIG_CPU_FREQ_GOV_POWERSAVE is not set
+# CONFIG_X86_PCC_CPUFREQ is not set
CONFIG_INPUT_KEYBOARD=y
CONFIG_INPUT_MOUSE=y
# CONFIG_HPET is not set
+# CONFIG_HPET_MMAP is not set
CONFIG_USB_SUPPORT=y
CONFIG_USB=y
# CONFIG_BSD_PROCESS_ACCT is not set
# CONFIG_CONTEXT_TRACKING is not set
# CONFIG_AUDIT is not set
-# CONFIG_X86_CHECK_BIOS_CORRUPTION is not set
# CONFIG_SCSI_DEBUG is not set
# CONFIG_BLK_DEV_THROTTLING is not set
# CONFIG_HIBERNATION is not set
# CONFIG_NUMA_BALANCING is not set
+# CONFIG_NUMA_BALANCING_DEFAULT_ENABLED is not set
# CONFIG_X86_INTEL_MPX is not set
CONFIG_HOTPLUG_CPU=y
# CONFIG_CPU_IDLE_GOV_LADDER is not set