--- kernel/sched/bfs.000	2014-02-25 23:02:00.000000000 +0100
+++ kernel/sched/bfs.c	2014-02-25 23:04:49.000000000 +0100
@@ -2599,6 +2599,10 @@
 void calc_load_exit_idle(void)
 {
 }
+
+void update_cpu_load_nohz(void)
+{
+}
 #endif /* CONFIG_NO_HZ */
 
 /*