floating point registers for various optimisation tweaks.
This adds the config stuff needed to build kernels. Reviewed by: obrien