제가 한가지 방법을 올립니다.

질문에서 썼던 것, 즉

ezboot의 serial.c에 있는

SerialInit(baudRate);

을 호출하거나, 비슷하게 모든 UART3 register를 초기화하면 됩니다.

그러나 아직, 가장 간단하게 할 수 있는 방법은 모르겠어요...

현재는, 여러번 해서 알아내는 방법밖에는