# CONFIG_APM is not set
-CONFIG_ARCH_CPU_PROBE_RELEASE=y
+CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=y
CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
# CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
CONFIG_CPU_RMAP=y
CONFIG_HVC_XEN=y
CONFIG_HVC_XEN_FRONTEND=y
CONFIG_HYPERVISOR_GUEST=y
+CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
CONFIG_IOMMU_HELPER=y
CONFIG_KERNEL_GZIP=y
# CONFIG_KERNEL_XZ is not set
CONFIG_MMU_NOTIFIER=y
CONFIG_MPENTIUM4=y
CONFIG_MUTEX_SPIN_ON_OWNER=y
+CONFIG_NET_FLOW_LIMIT=y
CONFIG_NR_CPUS=4
CONFIG_PARAVIRT=y
CONFIG_PARAVIRT_CLOCK=y
CONFIG_RFS_ACCEL=y
CONFIG_RPS=y
CONFIG_SCHED_MC=y
+CONFIG_SLUB_CPU_PARTIAL=y
CONFIG_SMP=y
CONFIG_STOP_MACHINE=y
CONFIG_SWIOTLB=y
CONFIG_SWIOTLB_XEN=y
CONFIG_SYS_HYPERVISOR=y
CONFIG_TREE_RCU=y
-CONFIG_USE_GENERIC_SMP_HELPERS=y
+CONFIG_UNINLINE_SPIN_UNLOCK=y
# CONFIG_VMWARE_BALLOON is not set
+CONFIG_VT_CONSOLE_SLEEP=y
CONFIG_X86_32_SMP=y
# CONFIG_X86_BIGSMP is not set
CONFIG_X86_CMOV=y