gcc/libgcc/config/i386/t-softfp