Patch by George G. Davis, 24 Aug 2004:
- update ARM boards to use constants from mach-types.h
diff --git a/board/smdk2400/smdk2400.c b/board/smdk2400/smdk2400.c
index 2d6be31..cb70218 100644
--- a/board/smdk2400/smdk2400.c
+++ b/board/smdk2400/smdk2400.c
@@ -77,7 +77,7 @@
 	gpio->OPENCR = 0x0;
 
 	/* arch number of SAMSUNG-Board to MACH_TYPE_SMDK2400 */
-	gd->bd->bi_arch_number = 145;
+	gd->bd->bi_arch_number = MACH_TYPE_SMDK2400;
 
 	/* adress of boot parameters */
 	gd->bd->bi_boot_params = 0x0C000100;