OLIMEXINO Board startet im mit der PLL und 72MHZ

Hallo,

ich habe mir von Olimexx das Board OLEXIMINO STM32 gekauft. Mit einem ST 
LINK V2 und COIDE versuche ich jetzt das Board zu programmieren.

Ich stelle jedoch unmittelbar nach dem Anlegen der Betriebsspannung 
fest, dass das Board mit 72 MHZ arbeitet. Auch beim Debuggen sehen ich 
dass in den Registern die PLL mit 72MHZ voreingestellt ist.

Ich kann mir dieses Verhalten leider nicht erklären. Meine 
Erwartungshaltung wäre gewesen, das Board startet mit dem HSI Clock.