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