Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision aae365bc823f3137811d2c48089c150e81c40606)
+++ kernel/generic/src/main/main.c	(revision 90efa3b9570ec6f523c45b1a178410890295d3ec)
@@ -78,5 +78,4 @@
 #include <synch/waitq.h>
 #include <synch/futex.h>
-#include <smp/smp_call.h>
 #include <arch/arch.h>
 #include <arch.h>
@@ -273,5 +272,4 @@
 	ARCH_OP(post_cpu_init);
 
-	smp_call_init();
 	clock_counter_init();
 	timeout_init();
@@ -379,6 +377,4 @@
 void main_ap_separated_stack(void)
 {
-	smp_call_init();
-
 	/*
 	 * Configure timeouts for this cpu.