[ros-dev] FPU saving + V86 problem - not sure how to solve it