[ros-diffs] 01/01: [WIN32K] Fix 64 bit issues (#420)