tree 27698f687105b6d17d711b141d779b894e17ec35
parent 2aa507f87a6eddb4786d93eb4148093035e8bcff
author Tomeu Vizoso <tomeu.vizoso@collabora.com> 1594327131 +0200
committer Tomeu Vizoso <tomeu.vizoso@collabora.com> 1595010196 +0200

gitlab-ci: Re-add kernels for bare-metal

I mistakenly removed what I thought were remnants of when Freedreno used
LAVA for their DUTs. lava_arm.sh is used for baremetal, so re-add that
code.

Fixes: dcd171f5e9bd ("gitlab-ci: More stable URL for kernel and ramdisk artifacts, for LAVA")
Signed-off-by: Tomeu Vizoso <tomeu.vizoso@collabora.com>
Reviewed-by: Eric Anholt <eric@anholt.net>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/5839>