At this stage the microcontroller clock setting is already configured, this is done through SystemInit() function which is called startup file (startup_stm32f4xx.s) before to branch to application main. To reconfigure the default setting of