* config/mips/mips.md (cprestore): Provide two alternatives, one for