elibc_musl kernel_linux ppc64 reference
