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