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/msm8916.mk b/project/msm8916.mk
index 806082b..5dee988 100644
--- a/project/msm8916.mk
+++ b/project/msm8916.mk
@@ -18,6 +18,7 @@
 DEFINES += ABOOT_IGNORE_BOOT_HEADER_ADDRS=1
 
 DEFINES += ABOOT_FORCE_KERNEL_ADDR=0x80008000
+DEFINES += ABOOT_FORCE_KERNEL64_ADDR=0x80080000
 DEFINES += ABOOT_FORCE_RAMDISK_ADDR=0x82000000
 DEFINES += ABOOT_FORCE_TAGS_ADDR=0x81E00000