# CONFIG_64BIT is not set
# CONFIG_AC3200 is not set
# CONFIG_ACPI is not set
+# CONFIG_ACPI_CMPC is not set
# CONFIG_ACQUIRE_WDT is not set
# CONFIG_ADVANTECH_WDT is not set
# CONFIG_ALIM1535_WDT is not set
# CONFIG_THINKPAD_ACPI is not set
# CONFIG_TOPSTAR_LAPTOP is not set
# CONFIG_TOSHIBA is not set
+# CONFIG_TOSHIBA_BT_RFKILL is not set
# CONFIG_TREE_PREEMPT_RCU is not set
CONFIG_TREE_RCU=y
# CONFIG_TYPHOON is not set
# CONFIG_VGACON_SOFT_SCROLLBACK is not set
CONFIG_VGA_CONSOLE=y
CONFIG_VM86=y
+# CONFIG_VMWARE_BALLOON is not set
+# CONFIG_VMWARE_PVSCSI is not set
CONFIG_VM_EVENT_COUNTERS=y
# CONFIG_VORTEX is not set
# CONFIG_VT is not set
# CONFIG_X86_P4_CLOCKMOD is not set
# CONFIG_X86_PAE is not set
CONFIG_X86_PAT=y
+# CONFIG_X86_PCC_CPUFREQ is not set
CONFIG_X86_PLATFORM_DEVICES=y
CONFIG_X86_PM_TIMER=y
CONFIG_X86_POPAD_OK=y