Patch by George G. Davis, 24 Aug 2004:
- update ARM boards to use constants from mach-types.h
diff --git a/board/cradle/cradle.c b/board/cradle/cradle.c
index f5c99b1..6f65f32 100644
--- a/board/cradle/cradle.c
+++ b/board/cradle/cradle.c
@@ -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;