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