[Bug 1091676] newest factory + tumbleweed version of kernel-default: download fails often