diff --git a/board/freescale/mx51evk/mx51evk.c b/board/freescale/mx51evk/mx51evk.c
index 94ea1f29051fc675b4de614a778f0ee63c1c5da2..8da1ee8b1aa15c016b41d2dae6ab041254140d69 100644
--- a/board/freescale/mx51evk/mx51evk.c
+++ b/board/freescale/mx51evk/mx51evk.c
@@ -403,7 +403,6 @@ int board_init(void)
 {
 	system_rev = get_cpu_rev();
 
-	gd->bd->bi_arch_number = MACH_TYPE_MX51_BABBAGE;
 	/* address of boot parameters */
 	gd->bd->bi_boot_params = PHYS_SDRAM_1 + 0x100;
 
diff --git a/include/configs/mx51evk.h b/include/configs/mx51evk.h
index 7d05dc8429295f6370dcb8ee3c4960ed15e43f32..d62a4f2965598e0a8c6fc83d03893ac7ace1b40b 100644
--- a/include/configs/mx51evk.h
+++ b/include/configs/mx51evk.h
@@ -48,6 +48,7 @@
 
 #define CONFIG_OF_LIBFDT		1
 
+#define CONFIG_MACH_TYPE	MACH_TYPE_MX51_BABBAGE
 /*
  * Size of malloc() pool
  */