Reports with CL_DEVICE_MAX_CLOCK_FREQUENCY = 3900 on Linux

id Device Version Driver API version Type OS Version Platform Compare