8000 armv6l armv7l aarch64 3500 riscv64 7250 s390x 2000