ARM: __gnu_h2f_ieee and __gnu_f2h_ieee always use the soft-float calling convention