> isn't fixed in branch jolly/testing I am using for calypsoBTS.
> So all I needed is just implement the fix and recompile from sources.

You can also use an older version of toolchain as a temporary
solution: https://github.com/axilirator/gnu-arm-installer - in this
repo I have fixed some installation (texinfo) related issues.

With best regards,
Vadim Yanitskiy.