One other thing...
I've been told that cachepolicy=uncached may not do anything useful :/
So if we want to eliminate cache problems from our enquiries, can you
rebuild your kernel with CONFIG_CPU_ICACHE_DISABLE=y and
CONFIG_CPU_DCACHE_DISABLE=y and retry?
Also, you should make sure you enable al
Aha, looks like you found the right process:
Looking more closely at /usr/bin/gcc:
$ objdump -d /usr/bin/gcc
[...]
a606: f7fe eff6 blx 95f4
a60a: 1963addsr3, r4, r5
a60c: f813 2c01 ldrb.w r2, [r3, #-1]
a610: 2a2f