Rtos code cntains bug possible incompatability with I2C

Fork of mbed-rtos by mbed official

rtx_ca/rt_Robin.c/shortlog@e9a2c7cb57a4: not found in manifest