Merge "Add soong modules to build GKI for Microdroid" into main am: 57a78a0eb5 Original change: https://android-review.googlesource.com/c/kernel/prebuilts/6.12/arm64/+/3469579 Change-Id: Ib8779b7a037794da230cf8fbb582d7d7b1bf9515 Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>