--- kernel/sched.c.orig	2011-10-14 00:49:13.000000000 +0200
+++ kernel/sched.c	2011-10-14 00:53:44.918088615 +0200
@@ -2193,7 +2193,7 @@
 	return delta < (s64)sysctl_sched_migration_cost;
 }
 
-void set_task_cpu(struct task_struct *p, unsigned int new_cpu)
+void set_task_cpu(struct task_struct *p, int new_cpu)
 {
 #ifdef CONFIG_SCHED_DEBUG
 	/*