Add modules for microdroid GKI am: d25151e14a am: 9e1e01f4e4 am: 40247f5f86

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

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