GNU Linux-libre 3.12.73-gnu source tarballs and patches are now available