Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision 193d280c34f38846eccfa1ecce71975f9ad92398)
+++ kernel/arch/mips32/src/debugger.c	(revision 3b5a5e38ff7a3e86d910c9d64d98db3a52c7bc45)
@@ -35,5 +35,4 @@
 #include <arch/debugger.h>
 #include <arch/barrier.h>
-#include <memstr.h>
 #include <console/kconsole.h>
 #include <console/cmd.h>