The generic version of comparesf2 defines __cmpsf2 alias for libgcc compatibility, but the ARM overlay is missing the alias.
Thanks for finding this. Note that this is the exact code in comparesf2.c.