Et corrigé dans des noyaux récents, cf la série sortie entre le 20 et le 21 octobre, dixit kernel.org :

4.8.3 2016-10-20
4.7.9 2016-10-20
4.4.26 2016-10-20
3.16.38 2016-10-20

3.12.66 2016-10-21
3.10.104 2016-10-21
3.2.83 2016-10-20