Fix typo which broke MIPS32R2 64-bit FPU support.