This marks mips o32 actually no longer functional in SMP configurations, and CI20/JZ4780 will need to be retired or fixed.
__with_interrupts_disabled style (and in-fact most of the implementations) happily stolen from arm v4 atomics to make auditing correctness simple.