[ros-diffs] [tkreuzer] 35953: fix x64 build of hal