GNU Linux-libre 4.7-gnu source tarballs and patches are now available