Add preliminary Android 64 support

Uses a new define ANDROID_64=true to build in 64-bit mode.

Signed-off-by: Zach Pfeffer <zach.pfeffer@linaro.org>
Change-Id: Ifaedf65bfd222af8c9351dd78466b43fde33b58a
diff --git a/BoardConfig.mk b/BoardConfig.mk
index 4ef3b7a..8d69a6f 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -6,6 +6,10 @@
 TARGET_BOARD_PLATFORM := vexpress
 TARGET_NO_BOOTLOADER := true # Uses u-boot instead 
 TARGET_NO_KERNEL := false
+ifeq ($(strip $(ANDROID_64)),true)
+KERNEL_CONFIG := vexpress-android_defconfig
+TARGET_USE_UBOOT := false
+else
 KERNEL_CONFIG := linaro/configs/linaro-base.conf \
                  linaro/configs/android.conf \
                  linaro/configs/vexpress.conf
@@ -28,6 +32,7 @@
 		rtsm_ve-v2p-ca15x4-ca7x4:rtsm/rtsm_ve-ca15x4-ca7x4.dtb
 CUSTOM_BOOTLOADER_MAKEFILE := boot-wrapper/bootwrapper.mk
 endif
+endif
 TARGET_USE_XLOADER := false
 TARGET_NO_RECOVERY := true
 TARGET_NO_RADIOIMAGE := true
@@ -60,7 +65,11 @@
 # ARMs gator (DS-5)
 TARGET_USE_GATOR:= true
 
+ifeq ($(strip $(ANDROID_64)),true)
+TARGET_BOOTLOADER_TYPE := none
+else
 ifeq ($(wildcard $(TOP)/boot-wrapper/bootwrapper.mk),)
 # Build uImage and uInitrd instead of kernel and ramdisk.img
 TARGET_BOOTLOADER_TYPE := uboot
 endif
+endif
\ No newline at end of file