KVM: VMX: adjust interface to allocate/free_vpid