Android: Google schließt teils kritische Lücken am Juli-Patchday