[U-Boot] soft vs. hard float

It looks U-Boot is generally built using soft float. I need hard-float in my system. Is this a general enough need that it'd make sense to have a CONFIG_SYS_HARD_FLOAT to enable this option?

I made a quick update for mpc85xx (guarded by CONFIG_SYS_HARD_FLOAT) and I seem to be running fine. Thanks,

Dean