Merge "[MIPS] Fix a problem with the FPU double alignment workaround."