clGetPlatformIDs(3clc) on Linux

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

Obtain the list of platforms available.

clGetPlatformIDs(3clc) on Linux now