Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision c79800f66d9e4a8fc017a7022699c3e34b795b26)
+++ kernel/generic/src/cpu/cpu.c	(revision b68ae24ef2a8e80ee94b455682978bfbac6bedbc)
@@ -50,4 +50,5 @@
 #include <sysinfo/sysinfo.h>
 #include <arch/cycle.h>
+#include <synch/rcu.h>
 
 cpu_t *cpus;
@@ -102,4 +103,5 @@
 	cpu_identify();
 	cpu_arch_init();
+	rcu_cpu_init();
 }