mx25pdk: Place machine ID into board config
Let common code set the machine ID.
Signed-off-by: Fabio Estevam <fabio.estevam@freescale.com>
diff --git a/include/configs/mx25pdk.h b/include/configs/mx25pdk.h
index fc80a71..0afae24 100644
--- a/include/configs/mx25pdk.h
+++ b/include/configs/mx25pdk.h
@@ -28,6 +28,8 @@
#define CONFIG_SETUP_MEMORY_TAGS
#define CONFIG_INITRD_TAG
+#define CONFIG_MACH_TYPE MACH_TYPE_MX25_3DS
+
/* Size of malloc() pool */
#define CONFIG_SYS_MALLOC_LEN (CONFIG_ENV_SIZE + 2 * 1024 * 1024)