patmos: add clock frequency info to CpuInfo