mako: update prebuilt kernel [DO NOT MERGE] automerge: 42bca28  -s ours
automerge: ed09220  -s ours

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