asm elibc_musl gmp kernel_linux ppc64
