tree 1b4e333de3a8dbf1ffbc2421a9d996f7fbf8f61a
parent b3207fba27929a0e1389e2c3b699214aee8c51b4
author Abhimanyu Kapur <abhimany@codeaurora.org> 1392876182 -0800
committer Abhimanyu Kapur <abhimany@codeaurora.org> 1395964974 -0700

aboot: add support for booting 64bit kernel

Dynamically check weather a given bootimage contains
a 64bit kernel and add support for booting into the 64bit
kernel via secure-monitor(EL3) api.

Change-Id: Ifcc63181258df561d8acdd7ce2374a75113f357a