MX31: mx31pdk: Make the board name simpler.

Signed-off-by: Fabio Estevam <fabio.estevam@freescale.com>

board/freescale/mx31pdk/mx31pdk.c

@@ -70,7 +70,7 @@ int board_init(void)
 
 int checkboard(void)
 {
-	printf("Board: i.MX31 MAX PDK (3DS)\n");
+	printf("Board: MX31PDK\n");
 	return 0;
 }