Re: [PATCH 1/3] KVM: arm64: timer: Always evaluate the need for a soft timer