Stefan K.

Yes, the servers are back up. I found an old [issue](https://github.com/sabotage-linux/kernel-headers/issues/21) suggesting to use the full kernel tarball instead of downloading only the headers. This would allow to have `kernel.org`...