Event from I2C driver indicating I2C stop condition established causes transition to S1. State transition function used is "STF_M_ready".