Merge remote-tracking branch 'tip/timers/core' into fordlezcano/3.13/sched-clock64...