This allows the usage of `guix refresh linux`. * nongnu/packages/linux.scm (linux-urls): Switch to kernel mirror URL.