Due to rounding and HZ==100, sometimes delays would not occur for
the desired length of time, or even at all.

Fix call to schedule_timeout() to ensure we delay -at least- for
the correct amount of time.