Add modules for microdroid GKI am: d25151e14a

Original change: https://android-review.googlesource.com/c/kernel/prebuilts/6.1/x86-64/+/2816021

Change-Id: Id2ab6212f16bb682f4c180fb23ee391e72f24206
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>