# 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_HIGHMEM4G=y
+CONFIG_HOTPLUG_PCI=y
+CONFIG_HOTPLUG_PCI_ACPI=y
# CONFIG_HPET is not set
# CONFIG_HP_ACCEL is not set
CONFIG_HVC_DRIVER=y
CONFIG_INPUT=y
CONFIG_INPUT_KEYBOARD=y
# CONFIG_INTEL_IPS is not set
+CONFIG_KEYBOARD_ATKBD=y
# CONFIG_KVM is not set
CONFIG_KVM_CLOCK=y
CONFIG_KVM_GUEST=y
# 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_PCIEAER=y
+CONFIG_PCIEPORTBUS=y
CONFIG_PCI_IOAPIC=y
CONFIG_PCI_LABEL=y
CONFIG_PCI_MMCONFIG=y