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