Add register assignment for double-precision args on ARM hard float.