Rtos code cntains bug possible incompatability with I2C

Fork of mbed-rtos by mbed official

rtos/Mutex.h/shortlog@53ace74b190c: not found in manifest