Hi Luigi,
Your patch seems correct, not that I have tested it. I am currently playing with the RTEMS set up to get all the libs to build correctly. I have been adding FPU support to the context switcher in RTEMS.
What version binutils are you using ?
Regards
Chris