Add a driver for the UART 1.
Add a printf function for the debugging.