diff -r 974c00dec723 tools/firmware/hvmloader/mkhex
--- a/tools/firmware/hvmloader/mkhex	Tue Sep 25 10:21:07 2007 +0100
+++ b/tools/firmware/hvmloader/mkhex	Tue Sep 25 13:40:47 2007 +0000
@@ -21,6 +21,6 @@
 #
 
 echo "unsigned $1[] = {"
-od -v -t x $2 | sed 's/^[0-9]* /0x/' | sed 's/ /, 0x/g' | sed 's/$/,/'
+od -v -t x $2 | sed 's/^[0-9]*  */0x/' | sed 's/  */, 0x/g' | sed 's/$/,/' | sed 's/0x,//' | sed 's/^[0-9]*,//'
 echo "};"
 
diff -r 974c00dec723 tools/firmware/rombios/32bit/Makefile
--- a/tools/firmware/rombios/32bit/Makefile	Tue Sep 25 10:21:07 2007 +0100
+++ b/tools/firmware/rombios/32bit/Makefile	Tue Sep 25 13:40:47 2007 +0000
@@ -39,4 +39,4 @@ clean:
 	    nm -u 32bitbios_all.o;                           \
 	    exit 11;                                         \
 	  } || :
-	bash mkhex highbios_array 32bitbios_all.o > $@
+	sh mkhex highbios_array 32bitbios_all.o > $@
diff -r 974c00dec723 tools/firmware/rombios/32bit/mkhex
--- a/tools/firmware/rombios/32bit/mkhex	Tue Sep 25 10:21:07 2007 +0100
+++ b/tools/firmware/rombios/32bit/mkhex	Tue Sep 25 13:40:47 2007 +0000
@@ -21,6 +21,6 @@
 #
 
 echo "unsigned $1[] = {"
-od -v -t x $2 | sed 's/^[0-9]* /0x/' | sed 's/ /, 0x/g' | sed 's/$/,/'
+od -v -t x $2 | sed 's/^[0-9]*  */0x/' | sed 's/  */, 0x/g' | sed 's/$/,/' | sed 's/0x,//' | sed 's/^[0-9]*,//'
 echo "};"