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