Let common code set the machine ID.
Cc: Matthias Weisser <weisserm@arcor.de>
Signed-off-by: Fabio Estevam <fabio.estevam@freescale.com>
        writel(input_select1, &inputselect->i2c3_ipp_sda_in);   /* I2C3 SDA */
        writel(input_select2, &inputselect->i2c3_ipp_scl_in);   /* I2C3 SCL */
 
-       /* board id for linux */
-       gd->bd->bi_arch_number = MACH_TYPE_ZMX25;
        gd->bd->bi_boot_params = PHYS_SDRAM + 0x100;
 
        return 0;
 
 #define CONFIG_SYS_HZ                  1000
 #define CONFIG_SYS_TEXT_BASE           0xA0000000
 
+#define CONFIG_MACH_TYPE       MACH_TYPE_ZMX25
 /*
  * Environment settings
  */