mbedmicro/mbed — pull request #351 by bcostm (2014-06-11 12:37:21+00:00)
Title: [NUCLEOs] Call SystemCoreClockUpdate() before SystemCoreClock is used.

This solves the issue with Ticker class (wrong timing).