https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125604
--- Comment #3 from Sam James <sjames at gcc dot gnu.org> --- Created attachment 64751 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64751&action=edit kernel-workaround.patch Jeff, if it's useful, this is the workaround we're using for now for the kernel.
