The Free Software Foundation Latin America team has released GNU Linux-libre 5.1-gnu as their sanitized kernel. See the announcement from FSFLA here: https://u.fsf.org/2t5 https://status.fsf.org/attachment/1077046