STM32F4 / TIMER Clock Source

Ich verwende den TIMER2 meines STM32F4 DiscoveryBoards, verstehe aber 
nicht, was im Reference Manual mit CK_INT als "interne Clock" Quelle 
gemeint ist.

Ich habe einen SYSCLK=168 MHz (das stimmt 100%)
Danach

/* PCLK1 = HCLK / 4*/
    RCC->CFGR |= RCC_CFGR_PPRE1_DIV4;

(da hänget Timer 2 dran)

also 42MHz

Der Timer verhält sich nun so, als ob er mit 84MHz getaktet würde (d.h. 
das ist die Clock vor dem Timer Prescaler): Er läuft also um einen 
Faktor 2 schneller, als ich laut Datenblatt erwarten würde.

Der einzige Hinweis im Reference Manual:

if (APBx presc = 1x1
else x2


?????
?????

==> siehe angefügten Snapshot

Sehr aussagekräfig ist das ja nicht grade. Wird da stillschweigend noch 
mit 2 multiplziert? Oder habe ich etwas anderes übersehen? Ich habe nun 
schon fast einen Tag damit vertan, dies herauszufinden - ich komme nicht 
drauf.

Vielleicht kann dies jemand "im Stehen" beantworten...

Danke,
Michael