I think the easiest would be to just add an that the new Linux ARM machine to the build matrix. And at least for now we should mention on the website that current .deb and .rpm are for x86 only.