# CONFIG_ACPI_WMI is not set
# CONFIG_ASUS_LAPTOP is not set
CONFIG_CONSOLE_TRANSLATIONS=y
+CONFIG_CPU_IDLE_GOV_MENU=y
CONFIG_DUMMY_CONSOLE=y
# CONFIG_EFI is not set
# CONFIG_HPET is not set
# CONFIG_LGUEST is not set
# CONFIG_LGUEST_GUEST is not set
CONFIG_NLS=y
+CONFIG_NO_HZ=y
CONFIG_PARAVIRT=y
CONFIG_PARAVIRT_CLOCK=y
# CONFIG_PARAVIRT_DEBUG is not set
CONFIG_PARAVIRT_GUEST=y
-# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
+CONFIG_PARAVIRT_TIME_ACCOUNTING=y
CONFIG_PCI_IOAPIC=y
CONFIG_PCI_LABEL=y
CONFIG_PCI_MMCONFIG=y