Yo hice la misma pregunta en el seminario de Sagitron en Sevilla. La respuesta fue que estos micros son capaces de ejecutar el código en modo predictivo y por eso la velocidad de ejecución depende del propio código a ejecutar. El dato que publican es una aproximación.
Entiendo que para trabajar con el timer, tendrás que ceñirte a los 80MHz, aunque esto ya es una mera suposición.
