Fix false-positives in checkDeviceBuffer for OpenCL