diff --git a/BoardConfig.mk b/BoardConfig.mk
index 8d69a6f..a21d26c 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -7,6 +7,7 @@
 TARGET_NO_BOOTLOADER := true # Uses u-boot instead 
 TARGET_NO_KERNEL := false
 ifeq ($(strip $(ANDROID_64)),true)
+KERNEL_TOOLS_PREFIX := aarch64-linux-gnu-
 KERNEL_CONFIG := vexpress-android_defconfig
 TARGET_USE_UBOOT := false
 else