CONFIG_ARM_LPAE=y
CONFIG_ARM_VIRT_EXT=y
CONFIG_HAVE_KVM_IRQCHIP=y
CONFIG_KVM_ARM_HOST=y
CONFIG_KVM_ARM_MAX_VCPUS=4
CONFIG_KVM_ARM_TIMER=y
CONFIG_KVM_ARM_VGIC=y
CONFIG_KVM_MMIO=y
CONFIG_KVM=y