[PATCH 4.9 07/22] Revert "x86/kvm: fix vcpu-id indexed array sizes"