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