GNU Guix will end support for the Linux kernel