Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 2e4343bb577304bd2bb9c0c4825438035b24ac6f)
+++ kernel/generic/src/cpu/cpu.c	(revision 436a0a5d2cce1b5f7720cb379a4bd818e1599d4d)
@@ -50,5 +50,4 @@
 #include <sysinfo/sysinfo.h>
 #include <arch/cycle.h>
-#include <synch/rcu.h>
 
 cpu_t *cpus;
@@ -108,5 +107,4 @@
 	cpu_identify();
 	cpu_arch_init();
-	rcu_cpu_init();
 }