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