Index: src/main/kinit.c
===================================================================
--- src/main/kinit.c	(revision 169587adb76206b75ea15c7f171f7fdb5dca2b82)
+++ src/main/kinit.c	(revision 8a78e68a764f51401e8328994a376ce7472c4b87)
@@ -43,5 +43,5 @@
 
 #ifdef __SMP__
-#include <arch/mp.h>
+#include <arch/smp/mp.h>
 #endif /* __SMP__ */
 
Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision 169587adb76206b75ea15c7f171f7fdb5dca2b82)
+++ src/main/main.c	(revision 8a78e68a764f51401e8328994a376ce7472c4b87)
@@ -41,6 +41,6 @@
 
 #ifdef __SMP__
-#include <arch/apic.h>
-#include <arch/mp.h>
+#include <arch/smp/apic.h>
+#include <arch/smp/mp.h>
 #endif /* __SMP__ */