raspi UART, ARM Timer and System Timer