GNU Linux-libre 4.9.1-gnu, 4.8.16-gnu, and 4.4.40-gnu source tarballs and patches are now available