Index: kernel/generic/src/sysinfo/stats.c
===================================================================
--- kernel/generic/src/sysinfo/stats.c	(revision abf6c018de8e29f417e189c669b1514cb9a75462)
+++ kernel/generic/src/sysinfo/stats.c	(revision 6874bd2d7be66b81ed8162da6eee3869c1ef4457)
@@ -52,4 +52,5 @@
 #include <cpu.h>
 #include <arch.h>
+#include <stdlib.h>
 
 /** Bits of fixed-point precision for load */
Index: kernel/generic/src/sysinfo/sysinfo.c
===================================================================
--- kernel/generic/src/sysinfo/sysinfo.c	(revision abf6c018de8e29f417e189c669b1514cb9a75462)
+++ kernel/generic/src/sysinfo/sysinfo.c	(revision 6874bd2d7be66b81ed8162da6eee3869c1ef4457)
@@ -43,4 +43,5 @@
 #include <errno.h>
 #include <macros.h>
+#include <stdlib.h>
 
 /** Maximal sysinfo path length */