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 f17109e191..8781e4d3aa 100644
--- a/headers/private/kernel/arch/arm/board/overo/board_config.h
+++ b/headers/private/kernel/arch/arm/board/overo/board_config.h
@@ -7,6 +7,9 @@
 
 #define BOARD_NAME_PRETTY "Gumstix Overo"
 
+#define BOARD_CPU_TYPE_OMAP 1
+#define BOARD_CPU_OMAP3 1
+
 #include <arch/arm/omap3.h>
 
 #define BOARD_UART1_BASE OMAP_UART1_BASE
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 8b7162efa7..4f490d4c4a 100644
--- a/headers/private/kernel/arch/arm/board/verdex/board_config.h
+++ b/headers/private/kernel/arch/arm/board/verdex/board_config.h
@@ -7,6 +7,9 @@
 
 #define BOARD_NAME_PRETTY "Gumstix Verdex"
 
+#define BOARD_CPU_TYPE_PXA 1
+#define BOARD_CPU_PXA270 1
+
 #include <arch/arm/pxa270.h>
 
 #define BOARD_UART1_BASE FFUART_BASE