https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95237
--- Comment #20 from David Binderman <dcb314 at hotmail dot com> --- This bug has prevented the successful compilation of the local Linux kernel for just over a month now. If I can assist with any testing, please let me know.
