clGetDeviceIDsFromD3D11KHR(3clc) on Linux

The text cb08f4a2dbdc, as Debian 10 (Buster) shipped it.

Querying OpenCL Devices Corresponding to Direct3D 11 Devices.