Index: generic/include/debug.h
===================================================================
--- generic/include/debug.h	(revision 36b01bb280f8f00e1705fde42fc2edfaebfbe5ae)
+++ generic/include/debug.h	(revision df09142fc921be2b6eee959f06e636a75aa46994)
@@ -32,5 +32,4 @@
 #include <panic.h>
 #include <arch/debug.h>
-#include <arch.h>
 
 #define CALLER       ((__address)__builtin_return_address(0))