Hey Guix,

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