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>

# Compute Blackfin-specific values

CT_DoArchTupleValues() {

    # The architecture part of the tuple:

    CT_TARGET_ARCH="bfin"

    # gcc ./configure flags

    CT_ARCH_WITH_ARCH=

    CT_ARCH_WITH_ABI=

    CT_ARCH_WITH_CPU=

    CT_ARCH_WITH_TUNE=

    CT_ARCH_WITH_FPU=

    CT_ARCH_WITH_FLOAT=

}