https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88879
--- Comment #16 from Arnd Bergmann <arnd at linaro dot org> --- Right, I was on the releases/gcc-9 branch, not HEAD. Sorry about the confusion. I applied your fix and have a working 9.2 build that can build the kernel now. Thanks!