mbed library sources

Fork of mbed-src by mbed official

targets/hal/TARGET_STM/TARGET_STM32F4XX/PeripheralNames.h@d98d59aec21a: not found in manifest