Add modules for microdroid GKI am: d25151e14a am: 8a0e3c9ad5

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

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