arm/arm64: KVM: Fix migration race in the arch timer