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