am a431cf85: am 5ff54e56: manta: kernel prebuilt (DO NOT MERGE)

* commit 'a431cf851cf952215de46199752f7902709cebff':
  manta: kernel prebuilt (DO NOT MERGE)