Google hat mit seinem monatlichen Sicherheitsupdate für Android (und damit auch auf seinen Nexus/Pixel-Geräten) wieder kritische Sicherheitslücken geschlossen. Die Patches teilt Google üblicherweise in Gruppen auf, um damit den Herstellern entgegen
zu kommen: 01.08.2017, 05.08.2017
Näheres dazu:
https://source.android.com/security/bulletin/2017-08-01

Die Updates werden so nach und nach per OTA (over the air) verteilt.