dietlibc/ppc/softfpu
