Rtos code cntains bug possible incompatability with I2C

Fork of mbed-rtos by mbed official

rtos/rtos_idle.c/shortlog@bdd541595fc5: not found in manifest