Export get_platform_id() from common-opencl.
Merge branch 'bleeding-jumbo' into memdbg

* bleeding-jumbo:
  Export get_platform_id() from common-opencl.