I noticed linux-libre had already been updated, so this new patch only
changes the URL to HTTPS.