stm32f4xx/rcc: model more clocks for 42x parts.