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