Still, benchmarking in Debian is pointless since no one is gonna buy a similar unit to run solely linux on it
Why? This is a pure CPU benchmark and is extremely unlikely to perform significantly different on any other OS. Unless that OS is seriously broken or you f.e. change cache settings, CPU results are going to stay mostly the same. This gives a good overview of what the PA6T is capable of - in OS4 as well as Linux.