Google Pixel Devices Receiving July Android Security Patch, Additional Fixes