Fixed the UART to work at the proper baud rate (31250), and updated timer code to assume a peripheral clock of 20MHz.