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

* commit 'c4240a9d42ffcd3a788ae19a5be43585fa8d0f37':
  mako: update prebuilt kernel