Marius Bakke <mbakke@fastmail.com> writes:

> Hello,
>
> Currently 'linux-libre' fails to build on armhf-linux due to a
> segmentation fault in GCC:

This no longer occures with recent versions of Linux-Libre.