[ros-dev] Save FPU on task switch/SSE support