[PATCH 4.9 15/32] x86/kvm: fix vcpu-id indexed array sizes