*/
#include "kdebug_at91.h"
+#include "hw/hw_cpu.h" /* for CLOCK_FREQ */
+#include "hw/hw_ser.h" /* Required for bus macros overrides */
+
+#include "cfg/cfg_debug.h"
#include <cfg/macros.h> /* for BV(), DIV_ROUND */
-#include <appconfig.h>
-#include <hw_cpu.h> /* for CLOCK_FREQ */
-#include <hw_ser.h> /* Required for bus macros overrides */
#include <io/arm.h>