The referenced Hobbytronics midi boards are no longer available / discontinued.

[now-its-dark]

Is it known whether any other hardware will function in their place?

[Carlborg]

Do you mean the usb host? I'm pretty sure this should work just as well https://www.hobbytronics.co.uk/usb-host-board-v24?search=usb%20host