diff --git a/headers/private/kernel/arch/arm/board/overo/board_config.h b/headers/private/kernel/arch/arm/board/overo/board_config.h
index 7155e1f575..f17109e191 100644
--- a/headers/private/kernel/arch/arm/board/overo/board_config.h
+++ b/headers/private/kernel/arch/arm/board/overo/board_config.h
@@ -9,4 +9,10 @@
 
 #include <arch/arm/omap3.h>
 
+#define BOARD_UART1_BASE OMAP_UART1_BASE
+#define BOARD_UART2_BASE OMAP_UART2_BASE
+#define BOARD_UART3_BASE OMAP_UART3_BASE
+
+#define BOARD_DEBUG_UART 2
+
 #endif /* _BOARD_OVERO_BOARD_CONFIG_H */
diff --git a/headers/private/kernel/arch/arm/board/verdex/board_config.h b/headers/private/kernel/arch/arm/board/verdex/board_config.h
index f8fd7efda2..5a43bcc321 100644
--- a/headers/private/kernel/arch/arm/board/verdex/board_config.h
+++ b/headers/private/kernel/arch/arm/board/verdex/board_config.h
@@ -9,4 +9,10 @@
 
 #include <arch/arm/pxa270.h>
 
+#define BOARD_UART1_BASE FFUART_BASE
+#define BOARD_UART2_BASE BTUART_BASE
+#define BOARD_UART3_BASE STUART_BASE
+
+#define BOARD_DEBUG_UART 2
+
 #endif /* _BOARD_VERDEX_BOARD_CONFIG_H */