Also, comparing these results with the NVIDIA ones (where the driver should be mostly as fast as the Windows one, and yet there are similar differences...