kernel.org now suggests a different mirror address. this one also support IPv6 connections and was faster for me. Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de> SVN-Revision: 46875