arm64: KVM: Add support for 16-bit VMID