[ros-diffs] [arty] 56269: [NTOSKRNL] Small edit.