* Rename SBC8560 into sbc8560 for consistency

* Patch by Daniel Poirot, 24 Jun 2004:
  Add support for Wind River's sbc8240 board

* Patches by Yasushi Shoji, 26 Jun 2004:
  - drivers/serial_xuartlite.c: fix "return 0" in void function
  - add microblaze support to mkimage tool
diff --git a/MAKEALL b/MAKEALL
index a0ae785..a526fb0 100644
--- a/MAKEALL
+++ b/MAKEALL
@@ -77,7 +77,7 @@
 	A3000		BMW		CPC45		CU824		\
 	debris		eXalion		MOUSSE		MUSENKI		\
 	MVBLUE		OXC		PN62		Sandpoint8240	\
-	Sandpoint8245	SL8245		utx8245				\
+	Sandpoint8245	SL8245		utx8245		sbc8240	\
 "
 
 #########################################################################
@@ -98,7 +98,7 @@
 #########################################################################
 
 LIST_85xx="	\
-	MPC8540ADS	MPC8560ADS	SBC8560		stxgp3		\
+	MPC8540ADS	MPC8560ADS	sbc8560		stxgp3		\
 "
 
 #########################################################################