[pypy-issue] [issue1416] Fix ARM hard floats