https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79131 --- Comment #9 from Arnd Bergmann <arnd at linaro dot org> --- I successfully rebuilt all the (now seven) previously failing kernel configurations, no more ICE. Thanks a lot!