Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 46843683b55a678b246f7735afcdf24b794d2d8f)
+++ kernel/arch/arm32/src/arm32.c	(revision 19f857a3b361739b06d4f547174ae4ac1b99c651)
@@ -47,5 +47,5 @@
 #include <userspace.h>
 #include <macros.h>
-#include <string.h>
+#include <str.h>
 #include <arch/ras.h>