patchdb/binutils: add texinfo patch