tree 3786743e749f7b444c388e44c0a6888ba7292be0
parent 41e1e5cfae70bd2c57a6bf7fc16bdc13433c8431
author Steve Muckle <smuckle@google.com> 1595542113 -0700
committer Steve Muckle <smuckle@google.com> 1595603172 -0700

add android-mainline kernels to aosp_arm64 build

To enable testing with android-mainline kernels, and them to the
aosp_arm64 build so android-mainline-based GKI boot images are produced.

Bug: 162020942
Change-Id: Ib1f957608a720a763a14324e4ca25ee170154fbb