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

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

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