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

* commit 'b7de901b8cb86036e9b92b3b6f188b45a524b125':
  mako: update prebuilt kernel [DO NOT MERGE]