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: I7ef5fa4a8497f99a871e11ef8538c3947b0467f9
diff --git a/microdroid/kernel/x86_64/prebuilt-info.txt b/microdroid/kernel/x86_64/prebuilt-info.txt
index eaeca9c..71d9d7f 100644
--- a/microdroid/kernel/x86_64/prebuilt-info.txt
+++ b/microdroid/kernel/x86_64/prebuilt-info.txt
@@ -1,3 +1,3 @@
{
- "kernel-build-id": 8721220
+ "kernel-build-id": 8751530
}