[PATCH 0/7] arm64 kexec kernel patches V3

[Leif Lindholm]

On 7 October 2014 21:07, Geoff Levand <geoff at infradead.org> wrote:
> You need to use a UEFI kernel loader.

No such thing exists.
The "built-in Linux loader" is a u-boot emulator (try it, it will work
with a uImage on v7) added for early development purposes and
unfortunately released in the wild.
It will very shortly disappear from Linaro UEFI builds.

/
    Leif