GNU Linux-libre 4.12.3-gnu, 4.11.12-gnu, 4.9.39-gnu, 4.4.78-gnu, and 3.18.62-gnu source tarballs and patches are now available