am f86f62ae: (-s ours) mako: update prebuilt kernel

* commit 'f86f62ae3b7bf6c2d16f43d0200f4492c266aebb':
  mako: update prebuilt kernel
diff --git a/kernel b/kernel
index e4a13d8..73dadd9 100644
--- a/kernel
+++ b/kernel
Binary files differ