Fix a bug where back-to-back serial characters were not received correctly (it was essentially expecting 2 stop bits).
Add timer device. Reading from address 0xFFFF0024 returns the number of clock cycles since reset.