To allow libcheri to compile with gcc and gas add -march=mips64r2 when
CHERI_CC isn't set.  I'm not sure this is the right value, but for now
it allows world to build.
A couple compilation tweaks for the !USE_C_CAPS case.