x86_64 s390x 10 aarch64 12 ppc64 ppc64le 80 riscv64 13