[ros-diffs] [ion] 16266: Build ntoskrnl with NDK, and don't use rosrtl