Added notes and cleaned up MIPS ABIs
MIPS ABIs should be o32, n32, and n64 (gcc calls them 32, n32, 64).