diff --git a/headers/private/kernel/cpu.h b/headers/private/kernel/cpu.h
index 806cd8c5d8..5fc8f88524 100644
--- a/headers/private/kernel/cpu.h
+++ b/headers/private/kernel/cpu.h
@@ -8,7 +8,7 @@
 
 #include <smp.h>
 #include <timer.h>
-#include <kernel_args.h>
+#include <boot/kernel_args.h>
 
 
 /* CPU local data structure */