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-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/CAA9xbM5AOxWQPsZ2tFEJEX+iaod9GcViH=xu9dahd9o+vs3...@mail.gmail.com
