ARM JIT: fix soft-float `round'

Use our own implementation of round(), since the round()
function might be missing.