I wanted to get rid of fpu->initialized but I did not understand the FPU EMU code. So I decided to enable it and see how it works. Turns out it doesn't work.
While #3 fixes this I propose the removal of it since probably nobody is using it. While at, we could also remove the 32bit x86 code since it makes things way more complicated. Anyway, I tried fma() in userland and it worked. The only thing that popped was not related to FPU and is addressed in #1. Sebastian
