No they are not supported. There have not been any updated in a very, very long time.
There are experimental versions on github, but you have to build them yourself. And from what I understand they are buggy.
If you want to use more midi devices, you can just connect them to a computer and then use this program to route the midi to axoloti:
http://notahat.com/midi_patchbay/