On Fri, 04 Nov 2016, aitor_czr wrote:

> As jaromil said in the IRC channel, there are packages of
> linux-libre-4.7.2 in the repos:

Perhaps you should note them the version is vulnerable to DirtyCOW.
4.7.10 is a version that has it fixed.

--
~ parazyd
GPG: 0333 7671 FDE7 5BB6 A85E C91F B876 CB44 FA1B 0274