diff --git a/headers/private/kernel/arch/arm/arch_uart_8250_omap.h b/headers/private/kernel/arch/arm/arch_uart_8250_omap.h
index 39ff62ecad..6bc65bc6f0 100644
--- a/headers/private/kernel/arch/arm/arch_uart_8250_omap.h
+++ b/headers/private/kernel/arch/arm/arch_uart_8250_omap.h
@@ -14,8 +14,7 @@
 
 #include <SupportDefs.h>
 #include <arch/generic/debug_uart_8250.h>
-
-#include "debug_uart.h"
+#include <arch/generic/debug_uart.h>
 
 
 class ArchUART8250Omap : public DebugUART8250 {
diff --git a/src/system/kernel/arch/arm/arch_uart_8250_omap.cpp b/src/system/kernel/arch/arm/arch_uart_8250_omap.cpp
index 40dcbc32ff..05f8c0311d 100644
--- a/src/system/kernel/arch/arm/arch_uart_8250_omap.cpp
+++ b/src/system/kernel/arch/arm/arch_uart_8250_omap.cpp
@@ -8,7 +8,7 @@
 
 
 #include <arch/arm/reg.h>
-#include <arch/arm/debug_uart_8250_omap.h>
+#include <arch/arm/arch_uart_8250_omap.h>
 #include <debug.h>
 #include <omap3.h>
 #include <new>