GNU Linux-libre 4.8.7-gnu, 4.4.31-gnu, and 3.12.67-gnu source tarballs and patches are now available