vexpress: Build ANDROID_64 config from config fragments

Use config fragments (linaro-base, android, vexpress64,
vexpress-tuning, juice) rather than the monolithic
vexpress-android_defconfig in ANDROID_64 mode.

This makes things more maintainable, and fixes bug #1172647.

Change-Id: If734d98d08bd65a254c7edc1215091c991b3734c
Signed-off-by: Bernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org>
diff --git a/BoardConfig.mk b/BoardConfig.mk
index d7342b1..9dc5fa3 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -43,7 +43,11 @@
 # Juice
 #
 KERNEL_TOOLS_PREFIX := aarch64-linux-android-
-KERNEL_CONFIG := vexpress-android_defconfig
+KERNEL_CONFIG := linaro/configs/linaro-base.conf \
+                 linaro/configs/android.conf \
+                 linaro/configs/vexpress64.conf \
+                 linaro/configs/vexpress-tuning.conf \
+                 linaro/configs/juice.conf
 CUSTOM_BOOTLOADER_MAKEFILE := device/linaro/vexpress/bootloader64.mk
 
 else ifeq ($(strip $(BUILD_IKS)),true)