[libc][mutex] implement posix mutex variants

We currently already have a mutex implementation with timing support, however, some of the other features need to be added:

- error checking
- priority inheritance
- robustness