diff --git a/src/kernel/core/vm/vm.c b/src/kernel/core/vm/vm.c
index 3c8836fde0..3a4050e6cb 100755
--- a/src/kernel/core/vm/vm.c
+++ b/src/kernel/core/vm/vm.c
@@ -26,7 +26,7 @@
 #include <thread.h>
 #include <atomic.h>
 
-#include <stage2.h>
+#include <boot/stage2.h>
 
 #include <arch/cpu.h>
 #include <arch/vm.h>
diff --git a/src/kernel/core/vm/vm_page.c b/src/kernel/core/vm/vm_page.c
index d9ae956a62..79b7a22140 100755
--- a/src/kernel/core/vm/vm_page.c
+++ b/src/kernel/core/vm/vm_page.c
@@ -16,7 +16,7 @@
 #include <smp.h>
 #include <OS.h>
 #include <Errors.h>
-#include <stage2.h>
+#include <boot/stage2.h>
 
 #include <string.h>
 #include <stdlib.h>