[ros-diffs] [hpoussin] 23643: Fix compilation of ntoskrnl