[ros-diffs] [dquintana] 63390: Fix KeSaveFloatingPointState. It was working once upon a time, but the fix was lost on some refactoring. I was told to blame it on Arch.