am 3482ed87: manta: update prebuilt kernel

* commit '3482ed870aa06482ae48d87f1a3cb86fe6ae72e8':
  manta: update prebuilt kernel