Completata migrazione repo kernel.org:
- E' possibile accedere alla repo utilizzando i seguenti 2 link:
  kernel.mirror.garr.it/kernel.org
  kernelorg.mirror.garr.it/kernel.org
- Accedendo al vecchio link ba.mirror.garr.it/mirrors/kernel.org si viene ora
  reindirizzati su kernel.mirror.garr.it/kernel.org