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>
(transplanted from 7df89370f80537d1b36b2fda70e3a1c6bc237a65)

 # Default test suite configuration

 # Default DejaGnu configuration

 DG_TOOLNAME = gcc

 DG_TARGET_HOSTNAME = 127.0.0.1

 DG_TARGET_USERNAME = root

 # Default tests

 DG_C_TESTS = 

 DG_CPP_TESTS =