[PATCH 4.18 033/123] KVM: arm/arm64: Fix potential loss of ptimer interrupts