ed0b604f1f
frequency. It'd be better to be able to calculate it at runtime, but we need the information very early, to setup the uart.