priority inheritance support for mutex

[Sachin D]

@travisg does LK supports solution to priority inversion problem for mutex?

[Travis Geiselbrecht]

It doesn't though that'd be a fairly simple addition. Would have to add a priority sorted wait queue that the mutex (and other locks) would use.