clIcdGetPlatformIDsKHR(3clc) on Linux

The text 01ae1e2f9955, as Debian 11 (Bullseye) shipped it.

Obtain the list of platforms accessible through the Khronos ICD Loader.