Fix for clean_opencl_devices(): If we never initialized, don't try to
iterate uninitialized array.