Hey Guix, here's a patch to update linux-libre and change the URL to HTTPS.