FPU emulation support for gnumach

[Igor Khavkine <i_khavki@alcor.concordia.ca>]

Hi, for some time now I've been trying to incorporate the Linux FPU
emulation code into gnumach (oskit-mach to be more precise). I'll be moving
in the next few days and won't really be able to work on it in the mean time.
So I decided to release a *very* preliminary patch for anyone who wants
to look at what I've done. You can get it at 
http://alcor.concordia.ca/~i_khavki/, please read the description and the
instructions on that page before downloading it.

As I said, it's *very* preliminal and I intend to go through all the relevant
code with fine toothed comb a couple of more times to make sure everything
works. But I will need help testing it.

Thanks.

Igor