imx31_litekit: Place machine ID into board config

Let common code set the machine ID.

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

board/logicpd/imx31_litekit/imx31_litekit.c

@@ -70,7 +70,6 @@ int board_early_init_f(void)
 
 int board_init(void)
 {
-	gd->bd->bi_arch_number = MACH_TYPE_MX31LITE; /* board id for linux */
 	gd->bd->bi_boot_params = (0x80000100);	/* adress of boot parameters */
 
 	return 0;

include/configs/imx31_litekit.h

@@ -41,6 +41,8 @@
 
 #define CONFIG_SYS_TEXT_BASE	0xa0000000
 
+#define CONFIG_MACH_TYPE	MACH_TYPE_MX31LITE
+
 /* Temporarily disabled */
 #if 0
 #define CONFIG_OF_LIBFDT		1