mako: update prebuilt kernel [DO NOT MERGE] automerge: cf1be48  -s ours automerge: 1475772  -s ours automerge: a3e49f1  -s ours
automerge: a039413  -s ours

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