i387: use 'restore_fpu_checking()' directly in task switching code