Merge "Switch the arm64 kernel to gz" am: f36107a571 am: c1c063c305 am: 6bb3302afb

Original change: https://android-review.googlesource.com/c/platform/development/+/1593240

MUST ONLY BE SUBMITTED BY AUTOMERGER

Change-Id: I8103c5ac9f8134d2a6d9f9488ac99c2e0f3d3d15