I use winbond's w77e58,which has 2 uart. I find the printf output string on uart 0 default, now I want to use uart 1, how can I do?