[ros-diffs] [pschweitzer] 66355: [KERNEL32] Fixx 64bits build. Spotted by Thomas