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