asm elibc_glibc gmp kernel_linux ppc64
