GNU Linux-libre 4.12.5-gnu, 4.9.41-gnu, and 4.4.80-gnu source tarballs and patches are now available