int board_init(void)
 {
-       gd->bd->bi_arch_number = MACH_TYPE_ACTUX1;
-
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x00000100;
 
 
 
 int board_init(void)
 {
-       gd->bd->bi_arch_number = MACH_TYPE_ACTUX2;
-
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x00000100;
 
 
 
 int board_init(void)
 {
-       gd->bd->bi_arch_number = MACH_TYPE_ACTUX3;
-
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x00000100;
 
 
 
 int board_init(void)
 {
-       gd->bd->bi_arch_number = MACH_TYPE_ACTUX4;
-
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x00000100;
 
 
 
 int board_init(void)
 {
-       gd->bd->bi_arch_number = MACH_TYPE_DVLHOST;
-
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x00000100;
 
 
  */
 int board_init(void)
 {
-       /* arch number of PDNB3 */
-       gd->bd->bi_arch_number = MACH_TYPE_PDNB3;
-
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x00000100;
 
 
 #define CONFIG_IXP425                  1
 #define CONFIG_ACTUX1                  1
 
+#define        CONFIG_MACH_TYPE                1479
+
 #define CONFIG_DISPLAY_CPUINFO         1
 #define CONFIG_DISPLAY_BOARDINFO       1
 
 
 #define CONFIG_IXP425                  1
 #define CONFIG_ACTUX2                  1
 
+#define        CONFIG_MACH_TYPE                1480
+
 #define CONFIG_DISPLAY_CPUINFO         1
 #define CONFIG_DISPLAY_BOARDINFO       1
 
 
 #define CONFIG_IXP425                  1
 #define CONFIG_ACTUX3                  1
 
+#define        CONFIG_MACH_TYPE                1481
+
 #define CONFIG_DISPLAY_CPUINFO         1
 #define CONFIG_DISPLAY_BOARDINFO       1
 
 
 #define CONFIG_IXP425                  1
 #define CONFIG_ACTUX4                  1
 
+#define        CONFIG_MACH_TYPE                1532
+
 #define CONFIG_DISPLAY_CPUINFO         1
 #define CONFIG_DISPLAY_BOARDINFO       1
 
 
 #define CONFIG_IXP425                  1
 #define CONFIG_DVLHOST                 1
 
+#define        CONFIG_MACH_TYPE                1343
+
 #define CONFIG_DISPLAY_CPUINFO         1
 #define CONFIG_DISPLAY_BOARDINFO       1
 
 
 #define CONFIG_IXP425          1       /* This is an IXP425 CPU        */
 #define CONFIG_PDNB3           1       /* on an PDNB3 board            */
 
+#define        CONFIG_MACH_TYPE        1002
+
 #define CONFIG_DISPLAY_CPUINFO 1       /* display cpu info (and speed) */
 #define CONFIG_DISPLAY_BOARDINFO 1     /* display board info           */