Eli Zaretskii wrote:
> Thanks.  It would be best to send these to the bug tracker,
> 20614@debbugs.gnu.org, so that this is recorded with the bug.

Done by attaching them to this email, which is CC'ed there.

> I'll let ELF experts review this, but in any case, we will need your
> legal paperwork before we can accept such a substantial contribution.

At first glance these patches look good to me; thanks Alan!  We can pick these 
up once the paperwork goes through.