[patch] Do not call bash but sh in the "boot" script

[Matthias Kilian]

On Wed, Apr 14, 2010 at 09:10:00PM +0100, Ian Lynagh wrote:
> > Perhaps just use make like Matthias suggested?
> 
> That feels very klunky to me; a shell script /and/ a Makefile for this
> simple task.

Not a *Makefile*, just some make -f - <<'EOM' ... EOM goo. I actually
had something that *almost* worked this afternoon, but unfortunately
it had a little bug and removed itself during a test ;-)

Ciao,
	Kili