No, as you can see, it's just that that printout is hardcoded.
The config option controls a compiler flag. The kernel doesn't really know whether there is an FPU.
You'll also need to add the compiler flag to your applications.
See:
http://www.alterawiki.com/wiki/single-precision_-mcustom-*_options http://www.alterawiki.com/wiki/custom_instructions Also, the option is there for the kernel just in case, but the kernel doesn't really use any floating point. You can build the kernel without that option and still use the custom instructions in your applications.