Export get_platform_id() from common-opencl.