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

Definitely the best solution...
Merge pull request #234 from bcostm/master

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