[ros-dev] Kernel-mode stack layout (FPU save area, trap frames, etc.)