Time source now uses system_clock, not the timer clock