replace dead mirror with kernel.org