[ros-diffs] [tkreuzer] 44071: fix build of ntoskrnl