mbedmicro/mbed — pull request #374 by bcostm (2014-06-25 08:24:20+00:00)
Title: [NUCLEO_F401RE] Fix issue with sleep and ST HAL tick timer

The timer used for the ST HAL tick must be disabled before entering in
sleep mode.