ANDROID: microdroid_defconfig: Set VA bits back to 39

This is the microdroid equivalent of aosp/3094249, to set VA
bits back to 39. The new default of 52 breaks the microdroid boot.

Bug: 331572406
Change-Id: Id802bf11cd4988f7475842f7cface53dc8f098f1
Signed-off-by: Keir Fraser <keirf@google.com>

Author: Keir Fraser

arch/arm64/configs/microdroid_defconfig

@@ -21,6 +21,7 @@ CONFIG_IKCONFIG_PROC=y
 # CONFIG_RD_ZSTD is not set
 CONFIG_BOOT_CONFIG=y
 CONFIG_PROFILING=y
+CONFIG_ARM64_VA_BITS_39=y
 CONFIG_SCHED_MC=y
 CONFIG_NR_CPUS=32
 CONFIG_PARAVIRT_TIME_ACCOUNTING=y