sched/clock: Correct calculation for the case of Tickless mode with a 32-bit...

sched/clock:  Correct calculation for the case of Tickless mode with a 32-bit timer.  In that case, the calculation was returning millisecond accuracy.  That is not good when the timer accuracy is < 1 msec.