OpenCL bugfix (common code): sequential_id was used where platform_id
was expected. Also a workaround for Apple's brain-dead driver that
apparently dies on dual spaces eg. between -DTHIS and -DTHAT. That is
just ridiculous.
Merge branch 'bleeding-jumbo' into memdbg

* bleeding-jumbo:
  OpenCL bugfix (common code): sequential_id was used where platform_id was expected. Also a workaround for Apple's brain-dead driver that apparently dies on dual spaces eg. between -DTHIS and -DTHAT. That is just ridiculous.