The June 2023 Security Update Patches the Arm GPU Vulnerability Exploited in Android