From 607353f5b09eb43da20972b49dd3c6a45f9ae56d Mon Sep 17 00:00:00 2001
From: Cyan_Hsieh <cyanhsieh@google.com>
Date: Wed, 31 Jul 2019 17:24:38 +0800
Subject: [PATCH] ARM64: configs: xiaomi: Build separated soc-dtb and
 board-dtbos

Bug: 138639911
Change-Id: I292fa68654e330d41be5b7ce0efde47cff866e0c
Signed-off-by: Cyan_Hsieh <cyanhsieh@google.com>
---
 arch/arm64/configs/vendor/xiaomi_GKI.config | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/arch/arm64/configs/vendor/xiaomi_GKI.config b/arch/arm64/configs/vendor/xiaomi_GKI.config
index 2b70ee3e4389..53d39fae1057 100644
--- a/arch/arm64/configs/vendor/xiaomi_GKI.config
+++ b/arch/arm64/configs/vendor/xiaomi_GKI.config
@@ -4,6 +4,9 @@
 # SPDX-License-Identifier: Apache-2.0
 #
 
+# Device tree
+CONFIG_BUILD_ARM64_DT_OVERLAY=y
+
 # Fingerprint
 CONFIG_INPUT_FINGERPRINT=y