Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -53,4 +53,5 @@
 #include <ddi/ddi.h>
 #include <log.h>
+#include <stdlib.h>
 
 #define SDRAM_SIZE \