But it doesn’t prove much, because the benchmarks were run on different hardware according to the spec image. Maybe not all hardware was detected by the Linux benchmarks, but it does make it hard to draw straight conclusions from this.