Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ kernel/arch/arm32/src/arm32.c	(revision 7c682dd18cb1e1cac93f7e180e1fc41df32f824c)
@@ -47,5 +47,5 @@
 #include <userspace.h>
 #include <macros.h>
-#include <string.h>
+#include <str.h>
 #include <arch/ras.h>