mako: update prebuilt kernel

fd80bc7 prima: revert scan optimizations to support concurrency

Change-Id: Ic39b71f66379b2c081a10d5d48ab1388205756d6
Signed-off-by: Iliyan Malchev <malchev@google.com>
diff --git a/kernel b/kernel
index 347a2e7..a15562f 100644
--- a/kernel
+++ b/kernel
Binary files differ