There was a post a while ago, from a person who had been chatting with Johannes and he said that he saw some new versions of the Axoloti based on newer/faster ARM boards.
But yeah, not sure how far this is in the process. Will take a look at the github page and check if there might be some code there, that could verify that.
But who knows
Checked github now. Doesn't look like a lot of action is going on.