Thanks, it seems I was confused by ARM3 (the implementation) and ARMv3 (the architecture, but not the one of the ARM3 implementation) once more. Yikes... this is quite a chaos.