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