Ciao come saprete, kernel.org è ancora giù per le verifiche del caso; qui c'è un elenco di dove sono stati messi i repository temporanei dove trovare le varie versioni del kernel http://lwn.net/Articles/459795/