Les Google Pixel reçoivent un boost de performances gratuit avec une simple mise à jour