This has nothing to do with kernel version, but with gcc version, as alluded to nearly two years ago by Stephan Schreiber [1]...
Upstream bug report: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61799 Émeric [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=691576#10 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
