Unless you compile your code with -msoft-float *and* also have a version
of libgcc compiled with -mlong-calls -mno-abicalls -G0. If you do it
that way, floating point works fine in the kernel (as long as you don't
try to call sprintf with floating point parameters).
-