Scheduler: reset round-robin quantum in Scheduler::tickInterruptHandler() when this value reaches zero