GNU Linux-libre 4.7.2-gnu, 4.4.19-gnu, and 3.14.77-gnu source tarballs and patches are now available