kernel: use dtc from prebuilt
dtc from OUT_DIR might not be available, so use the prebuilt one instead.
Also, clean-up a little bit and follow the same logic as prebuilt make binary.
Change-Id: I4dbf6233db98d5528f0d3890141e46d7a6d8e1c3
diff --git a/config/BoardConfigKernel.mk b/config/BoardConfigKernel.mk
index 105fe6b..4fdb741 100644
--- a/config/BoardConfigKernel.mk
+++ b/config/BoardConfigKernel.mk
@@ -141,6 +141,9 @@
BOARD_PREBUILT_DTBOIMAGE ?= $(PRODUCT_OUT)/dtbo-pre.img
endif
+# Set use the full path to the dtc command
+KERNEL_DTC_CMD := $(BUILD_TOP)/prebuilts/tools-bliss/$(HOST_OS)-x86/bin/dtc
+
# Set use the full path to the make command
KERNEL_MAKE_CMD := $(BUILD_TOP)/prebuilts/build-tools/$(HOST_OS)-x86/bin/make