Dear JPS,
I think a arm port would be a nice kickstarter project, if there is enough demand, you will receive quite a sizable financial support to get the arm port done.
And to be frank, with linux, the CPU architecture is a way lower barrier, i don't think a linux ARM port would take that much of resources.
Regards
Edward