Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision abf6c018de8e29f417e189c669b1514cb9a75462)
+++ kernel/generic/src/main/kinit.c	(revision 5c03bd305cb06f94360a0aa18b2c1a9ab52a88ef)
@@ -72,4 +72,5 @@
 #include <sysinfo/sysinfo.h>
 #include <align.h>
+#include <stdlib.h>
 
 #ifdef CONFIG_SMP