Index: linux-2.6.10-ck3/kernel/sched.c
===================================================================
--- linux-2.6.10-ck3.orig/kernel/sched.c	2005-01-11 21:44:26.687021548 +1100
+++ linux-2.6.10-ck3/kernel/sched.c	2005-01-11 21:47:02.793723347 +1100
@@ -567,7 +567,7 @@ static unsigned int rr_interval(task_t *
 	if (iso_task(p)) {
 		rr_interval = rr_interval / 2 ? : 1;
 		if (nice < 0)
-			rr_interval += -nice;
+			rr_interval += ((-nice) << 1);
 	}
 	return rr_interval;
 }