[NUCLEO_F302R8] Use mbed_sdk_init() to update the SystemCoreClock variab...

...le.

Definitely the best solution...