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