GKI: Enable PTDUMP_STAGE2_DEBUGFS

Change-Id: Ie8dd27fddb01160d2691f0bd0a4b6fd037a2736e
Signed-off-by: Sebastian Ene <sebastianene@google.com>
diff --git a/build.config.gki b/build.config.gki
index 4b931d9..eae6a4e 100644
--- a/build.config.gki
+++ b/build.config.gki
@@ -1,2 +1,11 @@
 DEFCONFIG=gki_defconfig
-POST_DEFCONFIG_CMDS="check_defconfig"
+POST_DEFCONFIG_CMDS="check_defconfig && update_config"
+
+function update_config() {
+    ${KERNEL_DIR}/scripts/config --file ${OUT_DIR}/.config \
+         -e NVHE_EL2_DEBUG \
+         -e PTDUMP_DEBUGFS \
+         -e PTDUMP_STAGE2_DEBUGFS
+    (cd ${OUT_DIR} && \
+     make O=${OUT_DIR} $archsubarch CROSS_COMPILE=${CROSS_COMPILE} ${TOOL_ARGS} ${MAKE_ARGS} olddefconfig)
+}