[PATCH 0/5] MR8435: server: Misc changes in preparation for inproc sync.

[Rémi Bernon (＠rbernon)]

Splitting mutex and semaphore, preparing the message queue to use both server and inproc syncs.