Bug#841533: The problem is not only with the kernel : gcc testsuite have also multiple tests failing

[Eric Valette]

So probably, the bug title should be changed :

See:

https://lists.debian.org/debian-gcc/2016/10/msg00156.html

-- eric