--- kernel/sched.c.orig	2006-01-25 10:28:15.000000000 +0100
+++ kernel/sched.c	2006-01-25 10:28:32.000000000 +0100
@@ -6258,7 +6258,7 @@
 	runqueue_t *rq;
 	int i, j, k;
 
-	for (i = 0; i < NR_CPUS; i++) {
+	for_each_cpu(i) {
 		prio_array_t *array;
 
 		rq = cpu_rq(i);