[ros-diffs] [ion] 15103: Update ntoskrnl.h. Probably incorrect for now, it's an old version