[ros-diffs] [ion] 14670: Fix win32k