--- u-boot/board/sx1/sx1.c	12 Mar 2004 00:14:10 -0000	1.1
+++ u-boot/board/sx1/sx1.c	24 Aug 2004 14:27:03 -0000
@@ -45,6 +45,7 @@
 {
 	DECLARE_GLOBAL_DATA_PTR;
 
+#warning Please register your machine at http://www.arm.linux.org.uk/developer/machines/?action=new
 	/* arch number of SX1 Board */
 	gd->bd->bi_arch_number = 241;
 
--- u-boot/board/ns9750dev/ns9750dev.c	26 Feb 2004 23:46:21 -0000	1.1
+++ u-boot/board/ns9750dev/ns9750dev.c	24 Aug 2004 14:21:34 -0000
@@ -65,7 +65,7 @@
 	/* Active BBUS modules */
 	*get_bbus_reg_addr( NS9750_BBUS_MASTER_RESET ) = 0;
 
-#warning TODO check numbers
+#warning Please register your machine at http://www.arm.linux.org.uk/developer/machines/?action=new
 	/* arch number of OMAP 1510-Board */
 	/* to be changed for OMAP 1610 Board */
 	gd->bd->bi_arch_number = 234;
--- u-boot/board/trab/trab.c	17 Sep 2003 15:10:32 -0000	1.13
+++ u-boot/board/trab/trab.c	22 Aug 2004 02:39:14 -0000
@@ -57,7 +57,7 @@
 	int i;
 	int delay = usec * 3;
 
-	for (i = 0; i < delay; i ++) gd->bd->bi_arch_number = 145;
+	for (i = 0; i < delay; i ++) gd->bd->bi_arch_number = MACH_TYPE_SMDK2400;
 }
 #endif /* CONFIG_MODEM_SUPPORT */
 
@@ -112,7 +112,7 @@
 	/* arch number of SAMSUNG-Board */
 	/* MACH_TYPE_SMDK2400 */
 	/* XXX this isn't really correct, but keep it for now */
-	gd->bd->bi_arch_number = 145;
+	gd->bd->bi_arch_number = MACH_TYPE_SMDK2400;
 
 	/* adress of boot parameters */
 	gd->bd->bi_boot_params = 0x0c000100;
--- u-boot/board/impa7/impa7.c	9 Sep 2002 08:35:37 -0000	1.1.1.1
+++ u-boot/board/impa7/impa7.c	22 Aug 2004 02:39:11 -0000
@@ -40,7 +40,7 @@
 	IO_LEDFLSH = 0x40;
 
 	/* arch number of EP7111 */
-	gd->bd->bi_arch_number = 50;
+	gd->bd->bi_arch_number = MACH_TYPE_EDB7211;
 
 	/* location of boot parameters for EP7111 */
 	gd->bd->bi_boot_params = 0xc0020100;
--- u-boot/board/dnp1110/dnp1110.c	26 Mar 2003 06:55:49 -0000	1.2
+++ u-boot/board/dnp1110/dnp1110.c	22 Aug 2004 02:39:11 -0000
@@ -39,7 +39,7 @@
 	/* so we do _nothing_ here */
 
 	/* arch number of DNP1110-Board */
-	gd->bd->bi_arch_number = 255;
+	gd->bd->bi_arch_number = MACH_TYPE_DNP1110;
 
     /* flash vpp on */
     PPDR |= 0x80;	/* assumes LCD controller is off */
--- u-boot/board/dave/B2/B2.c	24 Feb 2004 02:01:43 -0000	1.1
+++ u-boot/board/dave/B2/B2.c	22 Aug 2004 02:39:10 -0000
@@ -109,7 +109,7 @@
     PDATF = temp;
 
 	/* arch number MACH_TYPE_MBA44B0 */
-	gd->bd->bi_arch_number = 178;
+	gd->bd->bi_arch_number = MACH_TYPE_S3C44B0;
 
 	/* location of boot parameters */
 	gd->bd->bi_boot_params = 0x0c000100;
--- u-boot/board/cradle/cradle.c	20 Jan 2004 23:12:13 -0000	1.2
+++ u-boot/board/cradle/cradle.c	22 Aug 2004 02:39:10 -0000
@@ -186,7 +186,7 @@
 	led_code (0xf, YELLOW);
 
 	/* arch number of HHP Cradle */
-	gd->bd->bi_arch_number = 174;
+	gd->bd->bi_arch_number = MACH_TYPE_HHP_CRADLE;
 
 	/* adress of boot parameters */
 	gd->bd->bi_boot_params = 0xa0000100;