https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99600
--- Comment #9 from Arnd Bergmann <arnd at linaro dot org> --- I now built gcc with and without the patch from attachment 50390 to find more broken kernel configurations and verify that they are all fixed. So far, all the broken configurations are fixed by the patch, I'll leave it running over night to see if something comes up. Thanks a lot for coming up with a patch so quickly!