header to distinguish between o32, n32 and n64 ABIs. We now use this. This suppress the need of the mips_option test, which had some fake positive. This also removes the mandatory ordering of n32 vs o32 in the exec switch (exec_conf.c)