patmos: UART RX no buffer with echo test