[PATCH 18/30] RISC-V: KVM: Implement VMID allocator