Build problems on i386 (L4Re)

As promised, my other error report...

With Fiasco-OC built, I concentrated on building L4Re for i386, but this led 
to me encountering this rather frustrating error:

  [l4util] ==> Linking to shared libl4util.so
/home/paulb/L4/UX-75/src/l4/mk/lib.mk:139: recipe for target 'libl4util.so' 
failed
make[4]: *** [libl4util.so] Segmentation fault
make[4]: *** Deleting file 'libl4util.so'
../../../../../mk/binary.inc:164: recipe for target 
'/home/paulb/L4/UX-75/src/l4/mybuild/pkg/l4re-core/l4util/lib/src/OBJ-x86_gen-
l4f' failed

This issue is present in repository versions 72 through 76. Again, I'm testing 
this with GCC 6.4 (Debian 6.4.0-12). I've not seen this at all when cross-
compiling, either with the Debian or with Buildroot compilers.

Paul