diff --git a/headers/private/kernel/arch/ppc/board/sam460ex/board_config.h b/headers/private/kernel/arch/ppc/board/sam460ex/board_config.h
index aefec5d6ce..7aff55fb66 100644
--- a/headers/private/kernel/arch/ppc/board/sam460ex/board_config.h
+++ b/headers/private/kernel/arch/ppc/board/sam460ex/board_config.h
@@ -11,6 +11,9 @@
 
 #define BOARD_NAME_PRETTY "ACube Sam460ex"
 
+#define BOARD_CPU_TYPE_PPC440 1
+#define BOARD_CPU_PPC460EX 1
+
 // UART Settings
 // TODO: use the FDT instead of hardcoding
 #define BOARD_UART1_BASE 0xef600300