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