GNU Linux-libre 4.13.7-gnu Freed-ora f2[567] rpms are now available in the detesting repos