https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115172
--- Comment #5 from Uroš Bizjak <ubizjak at gmail dot com> --- (In reply to Jakub Jelinek from comment #4) > Created attachment 58261 [details] > gcc15-pr115172.patch > > Full untested patch. I can confirm that this patch fixes boot for the kernel config from PR115172#43.