Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision bc18d63b733703c3262a3a720f92513621962cff)
+++ kernel/generic/src/main/main.c	(revision bf25efb0b361ed9f7b43f5db17457fa376e1bd25)
@@ -82,5 +82,5 @@
 #include <smp/smp.h>
 #include <ddi/ddi.h>
-
+#include <main/main.h>
 
 /** Global configuration structure. */
@@ -114,7 +114,4 @@
 /** Lowest safe stack virtual address. */
 uintptr_t stack_safe = 0;		
-
-void main_bsp(void);
-void main_ap(void);
 
 /*