Fix ARM code generation of ADD instruction with high ARM registers