Update kernel to builds 9013362
git log --first-parent -100 --oneline --no-decorate 374734b63a14..bac79d727aea:
bac79d727aea BACKPORT: FROMGIT: PCI: dwc: Add support for 64-bit MSI target address
c7d547946083 BACKPORT: FROMGIT: PCI: dwc: Drop dependency on ZONE_DMA32
c126f1fdc0bd UPSTREAM: PCI: dwc: Fix MSI msi_msg DMA mapping
Test: treehugger
Bug: 238946645
Change-Id: I121ba0e23518bc448933564595b5d26426ce0906
diff --git a/microdroid/kernel/arm64/prebuilt-info.txt b/microdroid/kernel/arm64/prebuilt-info.txt
index b37189f..9b95d38 100644
--- a/microdroid/kernel/arm64/prebuilt-info.txt
+++ b/microdroid/kernel/arm64/prebuilt-info.txt
@@ -1,3 +1,3 @@
{
- "kernel-build-id": 9005362
+ "kernel-build-id": 9013362
}