Remove FPU tests from the kernel. Similar tests should be implemented in user space.
We basically don't want to fiddle with the FPU beyond managing the FPU context of
user threads. Not having C code which explicitly needs FPU instructions, we will now
have greater control of what instructions can the compiler use. We may want to
apply the -mno-fpu globally.