Update kernel to builds 8721220
git log --first-parent -100 --oneline --no-decorate 072afaa9bba1..e52c2eee7d09:
e52c2eee7d09 ANDROID: make virtio drivers needed for Microdroid built-in
7a0de0211b60 ANDROID: FIPS: remove some random core symbols
28f0c67d40e1 Merge 5.15.44 into android14-5.15
438c43687f91 ANDROID: GKI: remove info print for header generation
e2b8796f6c90 Merge 5.15.43 into android14-5.15
30ae5b1d7765 Merge 5.15.42 into android14-5.15
Test: treehugger
Bug: 231117670
Change-Id: I274cc8bc5811df7a51609df9c33d14a1d5b134d7
diff --git a/microdroid/kernel/arm64/prebuilt-info.txt b/microdroid/kernel/arm64/prebuilt-info.txt
index dc32e4b..eaeca9c 100644
--- a/microdroid/kernel/arm64/prebuilt-info.txt
+++ b/microdroid/kernel/arm64/prebuilt-info.txt
@@ -1,3 +1,3 @@
{
- "kernel-build-id": 8704934
+ "kernel-build-id": 8721220
}