Raspberry PI OS 32bit is compiled for ARMv6 to support the orginal Raspberry pi. I wonder what impact on benchmarks there would be compiling for ARMv7 hence only supporting Raspberry pi 2 and later?