https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107997
--- Comment #10 from Jan-Benedict Glaw <jbg...@lug-owl.de> --- I gave that patch a try: GCC build is successful, as is the Linux build afterwards using that toolchain. (Cannot test the resulting kernel of course---I don't have the hardware.)