Implement set_cpu_frequency() for TCC780x, but leave it disabled for now as switching...