Вот так всегда, спрашивает человек одно, а надо ему совсем другое.
Изучаем пример: "EVK1101 - DRIVERS - Power Manager (PM) example 2"
Там есть функция local_start_highfreq_clock.
Она запускает PLL и включает тактирование на 48МГц. Ее чуток подправить в соответствии с даташитом, чтобы было 60.