arm9tdmi: more correct fix for vector_catch