Quoto, immagino che ora il fix non sia più incluso. Tra l'altro le prestazioni benchmark cambiano di ben poco (3800 al primo tentativo col nuovo, 4000 e qualcosa al secondo, contro i 4000 al primo del precedente - Antutu|| 2396 ora contro 2348 prima, un solo tentativo entrambi - Quadrant). Quanto ne varrà la pena?