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

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