It was probably renamed to this. src/gnu/dist/opcodes/arm-opc.h I don't think the arm32 support was ever tested.