ARM: KVM: remove dead prototype for __kvm_tlb_flush_vmid