fpu_helper.c: fix setting FPSCR[FI] bit