Use new sem_max_init API instead of sem_post_max to check max isn't exceeded
Update bare flight.prx to include nav tasks
Update bare irq wrappers to reflect switched roles of USART1 and UART5
Merge branch 'sem-max-init' into reintro-smaccm-bare