Prefetch is only of questionable benefit and breaks arm builds so remove it.

-ck

---
 kernel/sched_bfs.c |    6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

Index: linux-3.1-ck2/kernel/sched_bfs.c
===================================================================
--- linux-3.1-ck2.orig/kernel/sched_bfs.c	2011-11-11 13:28:21.026507698 +1100
+++ linux-3.1-ck2/kernel/sched_bfs.c	2011-11-11 13:28:24.021507491 +1100
@@ -3220,11 +3220,9 @@ need_resched:
 		set_cpuidle_map(cpu);
 	} else {
 		next = earliest_deadline_task(rq, cpu, idle);
-		if (likely(next->prio != PRIO_LIMIT)) {
-			prefetch(next);
-			prefetch_stack(next);
+		if (likely(next->prio != PRIO_LIMIT))
 			clear_cpuidle_map(cpu);
-		} else
+		else
 			set_cpuidle_map(cpu);
 	}