mako: update prebuilt kernel [DO NOT MERGE] automerge: 42bca28  -s ours
automerge: ed09220  -s ours

* commit 'ed0922038e078cea5f81a6a62163cba789c417d3':
  mako: update prebuilt kernel [DO NOT MERGE]
diff --git a/kernel b/kernel
index c25198b..043aa72 100644
--- a/kernel
+++ b/kernel
Binary files differ