Event from I2C driver indicating I2C stop condition detected causes transition to S1. The state transition function used is "STF_S_ready"