Re: [PATCH] s390: handle R_390_PLT32DBL reloc entries in machine_apply_elf_rel()