Implement the BCM2711's [System Timer](https://datasheets.raspberrypi.com/bcm2711/bcm2711-peripherals.pdf#chap-System_Timer) as a clock source.