Microblaze sched_clock: Make the time increase monotonically when the multiplier changes.