Kernel: Guix and Logitech