[ros-diffs] [ion] 16237: fix build...sigh...sorry, my ntoskrnl builds with NDK