Revision 604

Move elfboot out of linuxbiosmain.
In hardwaremain call linuxbiosmain with it's traditional parameters,
but only call it if we aren't using elf_boot.