Select the right kernel for the build

Change-Id: I26205aa12a2b39a56734c4978d4b6bfde65c50a1
Signed-off-by: Vishal Bhoj <vishal.bhoj@linaro.org>
diff --git a/BoardConfig.mk b/BoardConfig.mk
index cbae32e..7cc4c12 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -38,7 +38,11 @@
 
 KERNEL_CONFIG := arch/arm/configs/hs_defconfig \
                  linaro/configs/android.conf
-TARGET_KERNEL_SOURCE := kernel/linaro/hisilicon/
+ifneq ($(wildcard ../../../kernel/linaro/hisilicon/),)
+TARGET_KERNEL_SOURCE = kernel/linaro/hisilicon/ 
+else
+TARGET_KERNEL_SOURCE = kernel/linaro/hisilicon-open
+endif
 BUILD_KERNEL_MODULES := false
 DEVICE_TREES := hi4511:hi4511.dtb
 INSTALLED_KERNEL_TARGET_NAME := kernel