Index: kernel/generic/src/sysinfo/stats.c
===================================================================
--- kernel/generic/src/sysinfo/stats.c	(revision 1ab853969f4ab4bd3b894a43444959889f64873d)
+++ kernel/generic/src/sysinfo/stats.c	(revision f98434b82c695232419821abbc90afe44dea6699)
@@ -45,4 +45,5 @@
 #include <proc/thread.h>
 #include <interrupt.h>
+#include <stdbool.h>
 #include <str.h>
 #include <errno.h>