Re: [PATCH v2] ArmPkg/TimerDxe: remove workaround for KVM timer handling