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 aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -53,4 +53,5 @@
 #include <ddi/ddi.h>
 #include <log.h>
+#include <stdlib.h>
 
 #define SDRAM_SIZE \