Switching to hardfloat is not a bad idea; I think it'd be a welcome change. That being said, I don't think anything on the BMC currently uses floating-point math, so I doubt there's any significant performance gain.