`parseOpenCLDeviceConfiguration` informs user via std::cerr