Well, I had to fix an ABI-specific bug in mips_push_arguments, 
so I went ahead and cloned it.  Gimme feedback on this function,
and meanwhile I'll go ahead and simplify the remaining push_arguments
for EABI (and submit it separately).