diff --git a/src/system/kernel/arch/arm/arch_uart_8250.cpp b/src/system/kernel/arch/arm/arch_uart_8250.cpp
index 6e91e6faa7..a2efda527a 100644
--- a/src/system/kernel/arch/arm/arch_uart_8250.cpp
+++ b/src/system/kernel/arch/arm/arch_uart_8250.cpp
@@ -6,10 +6,12 @@
  *		François Revol, revol@free.fr
  */
 
-#include <debug.h>
+
+#include <arch/arm/reg.h>
 #include <arch/generic/debug_uart_8250.h>
-#include <new>
 #include <board_config.h>
+#include <debug.h>
+#include <new>
 
 
 class ArchUART8250 : public DebugUART8250 {