[ros-diffs] [tkreuzer] 53401: [XDK/DDK] Add KeSaveFloatingPointState as well