[LinuxBIOS] Patch for vmlinux amd64 with mkelfImage

[Eric W. Biederman]

Stefan Reinauer <stepan at coresystems.de> writes:

>> Or we need to make elfboot in LinuxBIOS to be 64elf aware, and it need
>> to switch 64bit before load 64bit elf.
>
> This is the preferred thing I guess, because it will allow us to use
> other 64bit payloads as well without requiring that they do the same
> weird 32->64bit trampolining as Linux does...

Yes.  Not imposing hacks on other solutions is nice.

Linux is important enough we can jump through hoops to get it loaded
we shouldn't need that for other things.

Eric