We always build the kernel floating point support. Now that the
riscv64sf userspace variant has been removed the option is required for
correct operation.
Alternatively it could be moved to DEFAULTS, if there is still some
conceivable reason to keep this.