OpenCL context: Fixed erroneous use of std::max() instead of std::min() for device setup.

This resulted in default_device_num_ being ignored, thus always all available devices were added to a context.