kernel/linux: add alternate download locations

Since kernel.org is dead, and there is no announced or known estimated
time or return to normality, it is impossible to download any kernel at
this time.

Add a known-working mirror.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

#!/bin/sh

call_to=@@DEFAULT_LD@@

case "${CTNG_LD_IS}" in

    bfd)    call_to=bfd;;

    gold)   call_to=gold;;

esac

exec "${0}.${call_to}" "$@"

exit $?