rX_SemPutSemaphore() may ommit scheduling task, if the same semaphore is increased in the woken up task with higher priority

If a semaphore is increased by a call to rX_SemPutSemaphore() and a task waiting on the semaphore with higher priority, also tries to increase the semaphore the next task may not wake up correcly