Re: [Linux-stable-mirror] [PATCH v2] KVM: arm/arm64: Fix arch timers with userspace irqchips