am 9724fa86: (-s ours) mako: update prebuilt kernel

* commit '9724fa8659ff01bfacd6a0a1ff6d3773ffc9f2c9':
  mako: update prebuilt kernel
diff --git a/kernel b/kernel
index 5c4c1fe..73dadd9 100644
--- a/kernel
+++ b/kernel
Binary files differ