Currently osStopThread is only implemented for a case where a thread stops itself. It needs an implementation for the case where one thread stops another thread.
There's also an oversight in the current implementation in that it doesn't mark the thread's state as stopped.