i387: fix up some fpu_counter confusion