[PATCH] arm64: KVM: Add kvm_target_timer_irq() for arch_timer