ARM build daemon machines

Please, see https://db.debian.org/machines.cgi