Could always ping the developers a feature request, they seem to like hearing from the community and reacting to people's needs.
There have been quite a number of requests for ARM support from the community already and the developers have, as far as I've seen, silently ignored them, which makes the situation even more annoying.