Add board support for armadillo HT1070
Patch by Rowel Atienza, 06 Apr 2005
diff --git a/lib_arm/armlinux.c b/lib_arm/armlinux.c
index d158605..ca630b3 100644
--- a/lib_arm/armlinux.c
+++ b/lib_arm/armlinux.c
@@ -167,7 +167,7 @@
 			do_reset (cmdtp, flag, argc, argv);
 		}
 
-#if defined(CONFIG_B2) || defined(CONFIG_EVB4510)
+#if defined(CONFIG_B2) || defined(CONFIG_EVB4510) || defined(CONFIG_ARMADILLO)
 		/*
 		 *we need to copy the ramdisk to SRAM to let Linux boot
 		 */