Index: linux-2.6.10-ck7/kernel/sched.c
===================================================================
--- linux-2.6.10-ck7.orig/kernel/sched.c	2005-03-01 21:38:46.000000000 +1100
+++ linux-2.6.10-ck7/kernel/sched.c	2005-03-01 21:38:46.000000000 +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;
 }