mako: update prebuilt kernel [DO NOT MERGE]
automerge: 9c3d114  -s ours

* commit '9c3d1144d1e2e9b877dd9c0e39339762896b8d53':
  mako: update prebuilt kernel [DO NOT MERGE]
diff --git a/kernel b/kernel
index 8830538..ab57d14 100644
--- a/kernel
+++ b/kernel
Binary files differ