Use skeleton of upstream's kvm_arch_init_vcpu()