Within the OS, when a thread obtains a semaphore count it must call sem_addholder() if CONFIG_PRIORITY_INHERITANCE is enabled.  If a count is available, then sem_wait() calls sem_addholder(), otherwise it waited for the semaphore and called sem_addholder() when it eventually received the count.

This caused a problem when the thread calling sem_wait() was very low priority.  When it received the count, there may be higher priority threads "hogging" the CPU that prevent the lower priority task from running and, as a result, the sem_addholder() may be delayed indefinitely.

The fix was to have sem_post() call sem_addholder() just before restarting the thread waiting for the semaphore count.

This problem was noted by Benix Vincent who also suggested the solution.

CHxN channels are always outputs

Initial implemention of the STM32 F37xx SDADC module. There are also changes to ADC, DAC modules. SDADC has only been tested in DMA mode and does not support external TIMER triggers. This is a work in progress.

Enable and renames for 32l4 UARTs 4 and 5

Fix i2c devices rcc registers

STM32 F4 I2c: A new implementation of the STM32 F4 I2C bottom half.  The commin I2C as this did not handled correctly in the current implementation (see also https://github.com/PX4/NuttX/issues/54).  The changes almost exclusively affect the ISR.