diff --git a/board/trab/trab.c b/board/trab/trab.c
index fb57f5b..e8dfd2c 100644
--- a/board/trab/trab.c
+++ b/board/trab/trab.c
@@ -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_TRAB;
 }
 #endif /* CONFIG_MODEM_SUPPORT */
 
@@ -109,10 +109,7 @@
 	gpio->MISCCR = 0x40;
 	gpio->PFCON |= (2<<12);
 
-	/* 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_TRAB;
 
 	/* adress of boot parameters */
 	gd->bd->bi_boot_params = 0x0c000100;