build/debian: Use our patched kernel in aarch64 images from Kokoro
Images built with out custom kernel (`-k` flag with build.sh)
that include the aarch64 ballooning patch (from aosp/3455686)
have been tested on ARM devices.
In this CL we make our patched kernel the default one
for Ferrochrome aarch64 images built on Kokoro.
Bug: 383173744
Test: ./build_in_container.sh -a aarch64 -k
Change-Id: Id31115dad173fed931cbece960a71301e92786b6
diff --git a/build/debian/kokoro/gcp_ubuntu_docker/aarch64/build.sh b/build/debian/kokoro/gcp_ubuntu_docker/aarch64/build.sh
index 43f0338..7476fc3 100644
--- a/build/debian/kokoro/gcp_ubuntu_docker/aarch64/build.sh
+++ b/build/debian/kokoro/gcp_ubuntu_docker/aarch64/build.sh
@@ -5,7 +5,7 @@
cd "${KOKORO_ARTIFACTS_DIR}/git/avf/build/debian/"
sudo losetup -D
grep vmx /proc/cpuinfo || true
-sudo ./build.sh -r -a aarch64
+sudo ./build.sh -a aarch64 -k -r
sudo mv images.tar.gz ${KOKORO_ARTIFACTS_DIR} || true
mkdir -p ${KOKORO_ARTIFACTS_DIR}/logs
sudo cp -r /var/log/fai/* ${KOKORO_ARTIFACTS_DIR}/logs || true