[ros-dev] Re: [ros-bugs] [Bug 1264] Use of pentium-class instructions