[PATCH] sched: fix SCHED_FIFO bug in sys_sched_rr_get_interval()