[S] Change in simtrace2[master]: firmware: protect uart_tx_queue against ISR