Imported from https://github.com/mbedmicro/mbed.git
tag mbed_lib_rev117, commit 58c0b22c8c0a1f43dc05df76287cf0a298e0cad5