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

* commit 'b7de901b8cb86036e9b92b3b6f188b45a524b125':
  mako: update prebuilt kernel [DO NOT MERGE]
tree: 590acec3188275dd23622ffe0f216c5dee822d3f
  1. kernel