T121: kernel: Add missing include

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

diff --git a/kernel/arch/arm_gem5/startup_arch.c b/kernel/arch/arm_gem5/startup_arch.c
index 85c6ce7..22137d9 100644 (file)
--- a/kernel/arch/arm_gem5/startup_arch.c
+++ b/kernel/arch/arm_gem5/startup_arch.c
@@ -28,6 +28,7 @@
 #include <offsets.h>
 #include <startup_arch.h>
 #include <global.h>
+#include <kcb.h>
 
 #define CNODE(cte)              (cte)->cap.u.cnode.cnode
 #define UNUSED(x)               (x) = (x)