Update uart.c

added read of register ISR to clear interrupt source of UART16550.

kernel/uart.c

@@ -136,6 +136,7 @@ uartstart()
   while(1){
     if(uart_tx_w == uart_tx_r){
       // transmit buffer is empty.
+      ReadReg(ISR);
       return;
     }