No touching of the FPU in kernel