Fix toolchain generation with FPU enabled (#2242)