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
diff --git a/project/msm8226.mk b/project/msm8226.mk
index f41a778..a165ec1 100644
--- a/project/msm8226.mk
+++ b/project/msm8226.mk
@@ -26,6 +26,7 @@
DEFINES += ABOOT_FORCE_RAMDISK_ADDR=0x02000000
DEFINES += ABOOT_FORCE_TAGS_ADDR=0x01e00000
DEFINES += IMAGE_VERIF_ALGO_SHA1=0
+DEFINES += ABOOT_FORCE_KERNEL64_ADDR=0x00080000
#Disable thumb mode
ENABLE_THUMB := false