x86_32: introduce restore_fpu_checking()