Thanks for looking at the problem and discovering exactly what is going on. I'm going to leave it to an ARM expert to decide what should happen. My guess is that use of the stub ought to bump the Tag_CPU_arch attribute. -- Alan Modra