[ros-diffs] [tkreuzer] 54862: [CMAKE] add _PREFAST_ option for amd64, too