[ros-diffs] [ion] 15101: Add new WIN32K headers