It looks like the formula for PWM clock frequency (F_BUS_ACTUAL aka IPG_CLK_ROOT in the docs [Table 13-4]) as given in clockspeed.c is essentially:
F_BUS_ACTUAL = F_CPU_ACTUAL / min(4, floor((F_CPU_ACTUAL + 149999999) / 150000000))
where the maximum frequency is 150 MHz (as listed for...