[ros-diffs] [ion] 16253: Build HAL with NDK