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

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