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