[PATCH 4.14 16/38] x86/kvm: fix vcpu-id indexed array sizes