Hi Nick,

I've taken into account the points you raised in your review,
everything should now compile fine when doing
 ../configure --enable-64-bit-bfd --enable-targets=all
and there should be no more unexpected failures both with
  ../configure --enable-32-bit-bfd --target=kvx-elf
and
 ../configure --enable-64-bit-bfd --target=kvx-elf

I've been using gcc (GCC) 13.1.1 20230724 (97d183a8ddb).

Please let me know if I am missing something.
Thanks,
Paul