Update kernel to builds 8751530
git log --first-parent -100 --oneline --no-decorate e52c2eee7d09..f923cf54fbac:
f923cf54fbac ANDROID: remove GKI_HACKS for Microdroid
eacd8e9b82f1 ANDROID: remove unnecessary serial devs from Microdroid
0ca9901b89da ANDROID: ABI: add missing symbols to fips140 symbol list
Test: treehugger
Bug: 2128875
Change-Id: Ife9ed8bb78797a4f1659d8de06c1d8bfb2586058
diff --git a/microdroid/kernel/arm64/prebuilt-info.txt b/microdroid/kernel/arm64/prebuilt-info.txt
index eaeca9c..71d9d7f 100644
--- a/microdroid/kernel/arm64/prebuilt-info.txt
+++ b/microdroid/kernel/arm64/prebuilt-info.txt
@@ -1,3 +1,3 @@
{
- "kernel-build-id": 8721220
+ "kernel-build-id": 8751530
}