GNU Linux-libre 4.12.5-gnu Freed-ora 25 rpms are now available in the -detesting repos