Firmware: Solve the conflict between the log mutex and the binary semaphore

[andrempmattos]

Problem:
The log mutex and the binary semaphore are conflicting for an unknown reason (need more investigation), which causes the context switching to obc_interface task to get stuck in an inner OS routine (configASSERT( pxTCB == pxCurrentTCB );).

Temporary solution:
Remove the log mutex and keep only the binary mutex (used for interrupt handler synchronization). This approach leads to log prints with errors due to context switching.