[ros-diffs] [ion] 14743: Fix win32k building