STM32 debug helpers: printing RX queue length