https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92008 --- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- If there's anything else needed, let me know. In the meantime, back to booting Linux :-)