[Paolo Corsini]

Esatto, non ci sono e non sono neppure previsti. Comunque per ottenerli "in casa" basta impostare un moltiplicatore più basso e selezionare la frequenza di bus a 133 Mhz, tutto qui