Here's some patches that add initrd support to ELI
and the kernel. To use, simply add:

	initrd=<some file>
	
to your eli.cfg. The ELI code that loads the kernel is
shamelessly copied from the kernel loading code. This
currently loads the initrd directly after the kernel.

Current bugs:
 - the kernel assumes the address passed to it for
   the initrd is valid. We should probably check this.
   
Bill