https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82435 --- Comment #10 from Arnd Bergmann <arnd at linaro dot org> --- I get a clean kernel build now with that option, thanks a lot for your help!