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
