diff --git a/include/microkernel/k_boot.h b/include/microkernel/k_boot.h
index b4955a7ddba..6b3260a1490 100644
--- a/include/microkernel/k_boot.h
+++ b/include/microkernel/k_boot.h
@@ -33,7 +33,7 @@
 #ifndef __K_BOOT_H__
 #define __K_BOOT_H__
 
-#include <microkernel/k_types.h>
+#include <stdint.h>
 
 #ifdef __cplusplus
 extern "C" {
diff --git a/kernel/microkernel/core/flashboot.c b/kernel/microkernel/core/flashboot.c
index 6f5dda57a5b..95e93d54e25 100644
--- a/kernel/microkernel/core/flashboot.c
+++ b/kernel/microkernel/core/flashboot.c
@@ -31,7 +31,9 @@
  */
 
 
-#include "microkernel/k_boot.h"
+#include <microkernel/k_boot.h>
+#include <toolchain.h>
+#include <stdint.h>
 
 extern uint32_t *_currentbootinfo_word;