[ros-dev] ARM port: SWI call numbering