Don't call kvm_init_vcpu() twice