armsr: rename from armvirt