Remove the -Csoft-float argument when building the kernel
The targets specify the soft-float ABI already and -Csoft-float should likely have never existed in the first place. It is unsound to mix crates compiled with different float ABI's and the only stable way to get all crates to agree on the soft float ABI is by specifying a target which uses the soft float ABI anyway even without explicit -Csoft-float.
Depends on kernel!332 (merged)