Directly download the kernel instead of using the download-prebuilt-kernel.sh script. Save the kernel to /kernel for clarity, replacing the previous /lava-files directory. Signed-off-by: Valentine Burley <valentine.burley@collabora.com> Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/33606>