Re: [PATCH V2] arm64: KVM: Reset arch_timer upon vcpu reset