tree 95f9bba119633761184f039983a2842fbb3efb86
parent 2f1492e169573587a60e109946c8e1328b85bc51
author Simon Glass <sjg@chromium.org> 1484575453 -0700
committer Bin Meng <bmeng.cn@gmail.com> 1486352326 +0800

x86: Don't try to boot Linux from SPL

Booting into linux from 64-bit U-Boot is not yet supported. Avoid bringing
in the bootm code until it is implemented.

Of course 32-bit U-Boot still supports booting into both 32- and 64-bit
kernels.

Signed-off-by: Simon Glass <sjg@chromium.org>
Reviewed-by: Bin Meng <bmeng.cn@gmail.com>