Update CI to support external ARM-based servers