Rtos code cntains bug possible incompatability with I2C

Fork of mbed-rtos by mbed official

rtos/Semaphore.h/shortlog@88a1a9c26ae3: not found in manifest