What gas uses is not terribly relevant (and can probably be changed) as there are multiple defined ABIs for MIPS32, with different numbers of A registers and so on. The one the PSP uses appears to be most similar to the "N32" MIPS ABI.

Just ditch this change from this pull request and I'll merge :)