Index: kernel/generic/src/sysinfo/stats.c
===================================================================
--- kernel/generic/src/sysinfo/stats.c	(revision abf6c018de8e29f417e189c669b1514cb9a75462)
+++ kernel/generic/src/sysinfo/stats.c	(revision 02c6dcc803242797ced1b0e27dca419801279b57)
@@ -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 02c6dcc803242797ced1b0e27dca419801279b57)
@@ -43,4 +43,5 @@
 #include <errno.h>
 #include <macros.h>
+#include <stdlib.h>
 
 /** Maximal sysinfo path length */