set earlyprintk UART to be the default Realview UART