[PATCH 17/26] RISC-V: KVM: Implement VMID allocator