abi_ppc_32 acl elibc_glibc firmware-loader kernel_linux kmod ppc userland_GNU
