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