Yep I suspect this too from the benchmarks. The linux kernel doesn't send the instructions to the right cores and likely sees them all as the same and not 'high power' vs 'low power' cores