mbedmicro/mbed — pull request #376 by dinau (2014-06-25 12:01:50+00:00)
Title: [DISCO_F407VG] HAL update.

Mainly updated with NUCLEO-F401RE canges.