Unfortunately, yes. Neither PowerVR (makers of SGX) nor TI have released any drivers built hard-float. I haven't seen anything that points to them doing so any time soon either.
Arch Linux ARM exists and continues to grow through community support, please donate today!