clGetDeviceIDsFromD3D11KHR(3clc) on Linux

The text ac5f80328dfa, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

Querying OpenCL Devices Corresponding to Direct3D 11 Devices.