This behavior was tested on hardware, however i'm still not sure what use the "initial_count" parameter has
ToDo: Implement svcReleaseSemaphore * Some testing against hardware needed