Reports supporting platform extension cl_khr_priority_hints on Android

id Device Version Driver API version Type OS Version Platform