8000 armv6l armv7l aarch64 riscv64 3500 s390x 2000