hammerhead: update prebuilt kernel [DO NOT MERGE] automerge: a88af8936e  -s ours
automerge: c8557e769a  -s ours

* commit 'c8557e769a4f9d81c675e81f121f120d69444100':
  hammerhead: update prebuilt kernel [DO NOT MERGE]