[PATCH kernel-4.19 05/30] x86/kvm: fix vcpu-id indexed array sizes