MIPS: Tidy up FPU context switching