[U-Boot] [PATCH 07/10] x86: bootm: Support booting a 64-bit raw kernel

[Simon Glass]

On 10 October 2014 08:21, Simon Glass <sjg at chromium.org> wrote:
> Detect an x86_64 kernel and boot it in 64-bit mode.
>
> Signed-off-by: Simon Glass <sjg at chromium.org>
> ---
>
>  arch/x86/lib/bootm.c | 10 ++++++++--
>  1 file changed, 8 insertions(+), 2 deletions(-)

Applied to u-boot-x86 and now in mainline.