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