vfprintf.c patch

[J. Johnston]

Joel Sherrill wrote:
> 
> Minor modification to trick gcc into avoiding referencing
> a floating point register unless someone really tries
> to print a floating point number.  On the PowerPC gcc
> will save a FP register all the time without this patch.
> 
> The ideal solution would be to break out the FP printing
> into a separate function but that was more risky to implement.
> 
> [NOTE: In RTEMS, you specify on a task per task basis whether
> floating point is required.  On cpus which can disable the FPU,
> it does so.  This runs into trouble in cases like this. On CPUs
> which use the FPU for multiplication like the HPPA, the FPU
> has to be left on for all tasks.  The purpose of this is to
> avoid saving and restoring the FPU context.]
> 

A patch based after the long double support changes has been checked in.

-- Jeff J.