Correct the Linux architecture number for i.MX31 Litekit and ADS boards.
Signed-off-by: Magnus Lilja <lilja.magnus@gmail.com>
        mx31_gpio_mux(MUX_RTS1__UART1_RTS_B);
        mx31_gpio_mux(MUX_RTS1__UART1_CTS_B);
 
-       gd->bd->bi_arch_number = 447;           /* board id for linux */
+       gd->bd->bi_arch_number = MACH_TYPE_MX31LITE; /* board id for linux */
        gd->bd->bi_boot_params = (0x80000100);  /* adress of boot parameters */
 
        return 0;
 
        readb(CS4_BASE + 8);
        readb(CS4_BASE + 7);
 
-       gd->bd->bi_arch_number = 447;           /* board id for linux */
+       gd->bd->bi_arch_number = MACH_TYPE_MX31ADS;     /* board id for linux */
        gd->bd->bi_boot_params = 0x80000100;    /* adress of boot parameters */
 
        return 0;