Hello,
We don't have hardfloat binaries for the gpu, or a toolchain with hardfloat enabled to build the kernel and kernel modules, neither for Ubuntu or Linux only.
We will have hardfloat deliverables at least for linux only in a short while (There is no hard date but it would in around a Month or so).
Some of our customers have used third parties to get custom toolchains or built them themselves.
Also using Yocto can help but it's not officially supported yet. (It would be officially supported on July).
Keep in mind that even when building whit hardfloat yourself you will still be missing the gpu binary with hardfloat.
I hope this info helps