Indicate index of device tree overlay applied for Taimen

Bug: 67779848
Test: make -j32
Change-Id: I6196805b87bebb2eef74993d3ca31e5511c3129f
diff --git a/BoardConfig.mk b/BoardConfig.mk
index c6c51f0..4093f57 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -59,3 +59,7 @@
 # Rounded corners recovery UI. 105px = 30dp * 3.5 density, where 30dp comes from
 # rounded_corner_radius in overlay/frameworks/base/packages/SystemUI/res/values/dimens.xml.
 TARGET_RECOVERY_UI_MARGIN_HEIGHT := 105
+
+# VTS DTBO Verification. This kernel cmdline parameter should be added by the bootloader
+# for all future devices.
+BOARD_KERNEL_CMDLINE += androidboot.dtbo_idx=12