add SPE FPU support to powerpc-sf
[musl] / compat /
drwxr-xr-x   ..
drwxr-xr-x - time32