GNU Linux-libre 4.8.1-gnu, 4.7.7-gnu, and 4.4.24-gnu source tarballs and patches are now available