From: Prarit Bhargava on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2613#note_1498...
From my quick testing, it seems like ARCH isn't even set here? I'll dig into
it but I thought the arch list was "aarch64 ppc64le s390x x86_64", which would
imply the above should be 'ppc64le'.
I have a funny feeling that this code 'just works' in spite of it being out of
date wrt to the rest of the Makefile work. This may explode into a complete
reworking of the download script.