Configuring IO18, IO19 for I2C connectivity on Intel Edison Kit for Arduino
It was a strange problem which we were not able to resolve in an acceptable manner after all.

The problem disappeared after we re-flashed the device.