ARM: rename "arm9tdmi vector_catch" to "arm9 ..."