kernel: Disable use of FPU/SSE
kernel: Disable use of FPU/SSE

This hasn't caught us till now as GCC is much more conservative in
enabling FPU/SSE optimizations. Clang on the other hand will happily use
these at -O2.

mato/solo5,mato/solo5,Solo5/solo5,djwillia/solo5,Weichen81/solo5,Weichen81/solo5,djwillia/solo5,djwillia/solo5,Solo5/solo5,Weichen81/solo5,mato/solo5