[PATCH v3 1/2] KVM: arm/arm64: Fix potential loss of ptimer interrupts