[ros-diffs] 06/16: [KERNEL32] Fix 64 bit issues